Enum Expr 

pub enum Expr<V> {
    Var(V),
    Not(Box<Expr<V>>),
    Or(Box<Expr<V>>, Box<Expr<V>>),
    And(Box<Expr<V>>, Box<Expr<V>>),
}

A boolean expression consisting of boolean operators and variables.

Variants

Var(V)

A boolean variable.

Not(Box<Expr<V>>)

A negated expression.

Or(Box<Expr<V>>, Box<Expr<V>>)

A disjunction of expressions.

And(Box<Expr<V>>, Box<Expr<V>>)

A conjunction of expressions.

Implementations

impl<V> Expr<V>

pub fn map<F, X>(self, f: F) -> Expr<X>

where F: Fn(V) -> X,

Applies the given function to every value in the Expr.

impl<V> Expr<V>

where V: PartialEq,

pub fn eq_repr(&self, other: &Self) -> bool

Returns true if the expressions have the same representation, up to equality of the boolean variables. I.e., all of the boolean operators are the same and applied to equivalent variables.

Trait Implementations

impl<V: Clone> Clone for Expr<V>

fn clone(&self) -> Expr<V>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<V: Debug> Debug for Expr<V>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<V> Eval for Expr<V>

where V: Eval,

type Context = <V as Eval>::Context

The contextual data required to evaluate the expression.

fn eval(&self, data: &Self::Context) -> bool

Evaluates the expression, returning its truth value.

impl<V> From<Expr<V>> for CnfHashSet<V>

where V: Eval + Eq + Hash,

fn from(expr: Expr<V>) -> Self

Converts to this type from the input type.

impl<V> From<Expr<V>> for CnfVec<V>

where V: Eval + PartialEq,

fn from(expr: Expr<V>) -> Self

Converts to this type from the input type.

impl<V> From<Expr<V>> for DnfHashSet<V>

where V: Eval + Eq + Hash,

fn from(expr: Expr<V>) -> Self

Converts to this type from the input type.

impl<V> From<Expr<V>> for DnfVec<V>

where V: Eval + PartialEq,

fn from(expr: Expr<V>) -> Self

Converts to this type from the input type.

impl<V: Hash> Hash for Expr<V>

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

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<V> PartialEq for Expr<V>

where V: PartialEq,

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