Enum debug_sat::Assumption
[−]
[src]
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
[src]
fn undo(&self, graph: &mut Graph)
[src]
Undoes assumption.
fn invert(&self, graph: &mut Graph) -> Assumption
[src]
Undoes and inverts assumption.
Trait Implementations
impl Eq for Assumption
[src]
impl PartialEq for Assumption
[src]
fn eq(&self, __arg_0: &Assumption) -> bool
[src]
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &Assumption) -> bool
[src]
This method tests for !=
.
impl Copy for Assumption
[src]
impl Clone for Assumption
[src]
fn clone(&self) -> Assumption
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more