Enum AutoCollapse 

pub enum AutoCollapse {
    Geometric {
        measure: CollapsingMeasure,
        ranked: RankedRefutation,
    },
    Cardinality {
        trajectory: Vec<u64>,
        reached_goal: bool,
        constraints: usize,
    },
    Algebraic {
        trajectory: Vec<u64>,
        reached_goal: bool,
        xor_equations: usize,
    },
    None,
}

The result of the unified engine: which physics collapsed the formula, with its checkable artifact.

Variants

Geometric

Geometric collapse — covering symmetry, with the discovered measure and certified refutation.

Fields

measure: CollapsingMeasure

ranked: RankedRefutation

Cardinality

Cardinality collapse — a covering with more items than bins refuted by cutting planes (no symmetry required), with the descent trajectory and the constraint count.

Fields

trajectory: Vec<u64>

reached_goal: bool

constraints: usize

Algebraic

Algebraic collapse — parity, with the GF(2) Lyapunov trajectory and the XOR count.

Fields

trajectory: Vec<u64>

reached_goal: bool

xor_equations: usize

None

No collapse found in any class — a bounded impossibility (the formula may still be UNSAT; no covering, cardinality, or parity structure was recognized).

Trait Implementations

impl Clone for AutoCollapse

fn clone(&self) -> AutoCollapse

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AutoCollapse

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

Formats the value using the given formatter.