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 PartialEq for XorStep

fn eq(&self, other: &XorStep) -> 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 Eq for XorStep

impl StructuralPartialEq for XorStep