Enum Expr

pub enum Expr<T: Types> {
    Constant(Constant<T>),
    Var(T::Var),
    App(Box<Self>, Vec<Self>),
    Neg(Box<Self>),
    BinaryOp(BinOp, Box<[Self; 2]>),
    IfThenElse(Box<[Self; 3]>),
    And(Vec<Expr<T>>),
    Or(Vec<Expr<T>>),
    Not(Box<Self>),
    Imp(Box<[Expr<T>; 2]>),
    Iff(Box<[Expr<T>; 2]>),
    Atom(BinRel, Box<[Self; 2]>),
}

Variants

Constant(Constant<T>)

Var(T::Var)

App(Box<Self>, Vec<Self>)

Neg(Box<Self>)

BinaryOp(BinOp, Box<[Self; 2]>)

IfThenElse(Box<[Self; 3]>)

And(Vec<Expr<T>>)

Or(Vec<Expr<T>>)

Not(Box<Self>)

Imp(Box<[Expr<T>; 2]>)

Iff(Box<[Expr<T>; 2]>)

Atom(BinRel, Box<[Self; 2]>)

Implementations

impl<T: Types> Expr<T>

pub const fn int(val: T::Numeral) -> Expr<T>

pub fn eq(self, other: Self) -> Self

Trait Implementations

impl<T: Types> Display for Expr<T>

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

Formats the value using the given formatter.

impl<T: Types> 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.