Enum debug_sat::Assumption

pub enum Assumption {
    AlreadyKnown(bool),
    Eq {
        id: (usize, usize),
        history: usize,
    },
    Neq {
        id: (usize, usize),
        history: usize,
    },
}

Stores assumption, which is extra information added that might lead to inconsistency.

Variants

AlreadyKnown(bool)

This assumption has already a known value.

Eq

Two expressions are equivalent.

Fields of Eq

id: (usize, usize)	The edge id that is not equivalent.
history: usize	The length of history when assumption being made.

Neq

Two expressions are not equivalent.

Fields of Neq

id: (usize, usize)	The edge id that is not equivalent.
history: usize	The length of history when assumption being made.

Methods

impl Assumption

fn undo(&self, graph: &mut Graph)

Undoes assumption.

fn invert(&self, graph: &mut Graph) -> Assumption

Undoes and inverts assumption.

Trait Implementations

impl Eq for Assumption

impl PartialEq for Assumption

fn eq(&self, __arg_0: &Assumption) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &Assumption) -> bool

This method tests for !=.

impl Copy for Assumption

impl Clone for Assumption

fn clone(&self) -> Assumption

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Assumption

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.