Enum debug_sat::Expression

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

impl PartialEq for Expression

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

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

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

This method tests for !=.

impl Clone for Expression

fn clone(&self) -> Expression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expression

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

Formats the value using the given formatter.

impl Hash for Expression

fn hash<__H: Hasher>(&self, __arg_0: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].