Enum XorStep 

pub enum XorStep {
    Conflict(Vec<Lit>),
    Imply {
        lit: Lit,
        reason: Vec<Lit>,
    },
    Sat,
}

The result of consulting the engine at a Boolean fixpoint.

Variants

Conflict(Vec<Lit>)

The linear system is violated under the current assignment; the clause is implied by the formula and fully falsified (a conflict).

Imply

lit is forced; the clause is implied and unit (its only unassigned literal is lit).

Fields

lit: Lit

reason: Vec<Lit>

Sat

No XOR-forced literal and no contradiction at this assignment.

Trait Implementations

impl Clone for XorStep

fn clone(&self) -> XorStep

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for XorStep

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

Formats the value using the given formatter.

impl Eq for XorStep

impl PartialEq for XorStep

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for XorStep