Enum SelOutcome 

pub enum SelOutcome {
    Unsat {
        steps: Vec<ProofStep>,
        conflicts: u64,
        amplified: usize,
    },
    Sat(Vec<bool>),
    Unknown {
        conflicts: u64,
    },
}

The result of an SEL refutation attempt.

Variants

Unsat

Refuted, with a checkable RUP proof, the total conflicts spent, and how many clauses were added by symmetric amplification (the lever’s footprint).

Fields

steps: Vec<ProofStep>

conflicts: u64

amplified: usize

Sat(Vec<bool>)

Satisfiable, with a model.

Unknown

Gave up within the round/budget bounds without a verdict (the procedure is deliberately incomplete — it never returns a wrong answer, only an honest “don’t know”).

Fields

conflicts: u64

Trait Implementations

impl Clone for SelOutcome

fn clone(&self) -> SelOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SelOutcome

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

Formats the value using the given formatter.