Skip to main content

Module compiler_config

Module compiler_config 

Source
Expand description

Compile-time configuration for the WCOJ variable-ordering cost model.

CompilerConfig is a per-call argument to crate::compile::Compiler::compile_with_config_and_stats_snapshot. CompilerConfig::default() disables variable-ordering rewrites, preserving existing triangle, 4-cycle, recursive, and selectivity-aware dispatch behavior when the default config is in effect.

Activation requires explicitly constructing a CompilerConfig with WcojVarOrderingKind::LeaderCardinality. There is no environment override on this path; env-driven activation is outside this compile-time config surface.

§Threshold contract

wcoj_var_ordering_threshold is pub to allow struct-literal construction, but the promoter MUST go through CompilerConfig::effective_wcoj_var_ordering_threshold so out-of-range struct-literal values fall back to CompilerConfig::DEFAULT_THRESHOLD rather than silently widening the gate.

Structs§

CompilerConfig
Compile-time configuration for the WCOJ variable-ordering cost model.

Enums§

WcojVarOrderingKind
Selector for the WCOJ variable-ordering cost model.