Struct CompilerConfig 

pub struct CompilerConfig {
    pub wcoj_variable_ordering: WcojVarOrderingKind,
    pub wcoj_var_ordering_threshold: f64,
}

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

See module docs for activation semantics + threshold contract.

Fields

wcoj_variable_ordering: WcojVarOrderingKind

Variable-ordering cost-model selector. Default Disabled.

wcoj_var_ordering_threshold: f64

Raw threshold field. Public to keep struct-literal construction available, but the promoter MUST NOT read this field directly. Use CompilerConfig::effective_wcoj_var_ordering_threshold so out-of-range values are clamped at use, not silently honored.

Implementations

impl CompilerConfig

pub const DEFAULT_THRESHOLD: f64 = 0.5

Default ratio at or below which a leader candidate triggers var_order = Some(...). The gate fires on min_card / default_leader_card ≤ threshold. A smaller threshold demands a clearer win.

pub fn effective_wcoj_var_ordering_threshold(&self) -> f64

Resolve the threshold the promoter actually uses.

Out-of-range values fall back to Self::DEFAULT_THRESHOLD:

• NaN
• non-finite (±INFINITY)
• ≤ 0.0 (would never fire — clamps to default to keep the gate honest)
• > 1.0 (would always fire — clamps to default to prevent silent gate-disable via struct-literal)

Trait Implementations

impl Clone for CompilerConfig

fn clone(&self) -> CompilerConfig

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CompilerConfig

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for CompilerConfig

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for CompilerConfig

fn eq(&self, other: &CompilerConfig) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for CompilerConfig