Enum Expr

pub enum Expr<T> {
    Truth(bool),
    Proposition(Rc<T>),
    Not(Box<Expr<T>>),
    And(Box<Expr<T>>, Box<Expr<T>>),
    Or(Box<Expr<T>>, Box<Expr<T>>),
    Xor(Box<Expr<T>>, Box<Expr<T>>),
    Implies(Box<Expr<T>>, Box<Expr<T>>),
    Equivalent(Box<Expr<T>>, Box<Expr<T>>),
}

Variants

Truth(bool)

Proposition(Rc<T>)

Not(Box<Expr<T>>)

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

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

Xor(Box<Expr<T>>, Box<Expr<T>>)

Implies(Box<Expr<T>>, Box<Expr<T>>)

Equivalent(Box<Expr<T>>, Box<Expr<T>>)

Implementations

impl<T> Expr<T>

pub fn truth(t: bool) -> Self

pub fn proposition(p: T) -> Self

pub fn has_same_operation(&self, e: &Expr<T>) -> bool

Trait Implementations

impl<RHS, T> BitAnd<RHS> for Expr<T>

where RHS: Into<Expr<T>>,

type Output = Expr<T>

The resulting type after applying the & operator.

fn bitand(self, e: RHS) -> Self::Output

Performs the & operation.

impl<RHS, T> BitOr<RHS> for Expr<T>

where RHS: Into<Expr<T>>,

type Output = Expr<T>

The resulting type after applying the | operator.

fn bitor(self, e: RHS) -> Self::Output

Performs the | operation.

impl<RHS, T> BitXor<RHS> for Expr<T>

where RHS: Into<Expr<T>>,

type Output = Expr<T>

The resulting type after applying the ^ operator.

fn bitxor(self, e: RHS) -> Self::Output

Performs the ^ operation.

impl<T> Clone for Expr<T>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Expr<T>

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

Formats the value using the given formatter.

impl<T> Display for Expr<T>

where T: Display,

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

Formats the value using the given formatter.

impl<T: Hash> Hash for Expr<T>

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<T> Not for Expr<T>

type Output = Expr<T>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl<T: PartialEq> PartialEq for Expr<T>

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

impl<T> StructuralPartialEq for Expr<T>