Enum bool_logic::ast::Expr

pub enum Expr<T> {
    Any(Any<T>),
    All(All<T>),
    Not(Not<T>),
    Var(Var<T>),
    Const(bool),
}

Variants

Any(Any<T>)

All(All<T>)

Not(Not<T>)

Var(Var<T>)

Const(bool)

Trait Implementations

impl<T: Clone> Clone for Expr<T>

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

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> From<All<T>> for Expr<T>

fn from(all: All<T>) -> Self

Converts to this type from the input type.

impl<T> From<Any<T>> for Expr<T>

fn from(any: Any<T>) -> Self

Converts to this type from the input type.

impl<T> From<Expr<T>> for Not<T>

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

Converts to this type from the input type.

impl<T> From<Not<T>> for Expr<T>

fn from(not: Not<T>) -> Self

Converts to this type from the input type.

impl<T> From<Var<T>> for Expr<T>

fn from(var: Var<T>) -> Self

Converts to this type from the input type.

impl<T> From<bool> for Expr<T>

fn from(b: bool) -> Self

Converts to this type from the input type.

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

fn eq(&self, other: &Expr<T>) -> bool

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

fn ne(&self, other: &Rhs) -> bool

This method 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> StructuralEq for Expr<T>

impl<T> StructuralPartialEq for Expr<T>