Enum debug_sat::Expression
[−]
[src]
pub enum Expression { True, False, Var(usize), Not(usize), And(usize, usize), Or(usize, usize), Eq(usize, usize), Imply(usize, usize), }
Stores a logical expression.
Variants
True
True.
False
False.
Var(usize)
Variable.
Not(usize)
Logical NOT.
And(usize, usize)
Logical AND.
Or(usize, usize)
Logical OR.
Eq(usize, usize)
Logical EQ.
Imply(usize, usize)
Logical material implication.
Trait Implementations
impl Eq for Expression
[src]
impl PartialEq for Expression
[src]
fn eq(&self, __arg_0: &Expression) -> bool
[src]
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &Expression) -> bool
[src]
This method tests for !=
.
impl Clone for Expression
[src]
fn clone(&self) -> Expression
[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