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§
- Compiler
Config - Compile-time configuration for the WCOJ variable-ordering cost model.
Enums§
- Wcoj
VarOrdering Kind - Selector for the WCOJ variable-ordering cost model.