Enum BoolExpr 

pub enum BoolExpr {
    Term {
        var_type: Weak<BoolType>,
        term: Rc<dyn Var>,
    },
    Not {
        var_type: Weak<BoolType>,
        term: Rc<BoolExpr>,
    },
    Eq {
        var_type: Weak<BoolType>,
        left: Rc<dyn Var>,
        right: Rc<dyn Var>,
    },
    Lt {
        var_type: Weak<BoolType>,
        left: Rc<dyn Var>,
        right: Rc<dyn Var>,
    },
    Leq {
        var_type: Weak<BoolType>,
        left: Rc<dyn Var>,
        right: Rc<dyn Var>,
    },
    Or {
        var_type: Weak<BoolType>,
        terms: Vec<Rc<BoolExpr>>,
    },
    And {
        var_type: Weak<BoolType>,
        terms: Vec<Rc<BoolExpr>>,
    },
}

Variants

Term

Fields

var_type: Weak<BoolType>

term: Rc<dyn Var>

Not

Fields

var_type: Weak<BoolType>

term: Rc<BoolExpr>

Eq

Fields

var_type: Weak<BoolType>

left: Rc<dyn Var>

right: Rc<dyn Var>

Lt

Fields

var_type: Weak<BoolType>

left: Rc<dyn Var>

right: Rc<dyn Var>

Leq

Fields

var_type: Weak<BoolType>

left: Rc<dyn Var>

right: Rc<dyn Var>

Or

Fields

var_type: Weak<BoolType>

terms: Vec<Rc<BoolExpr>>

And

Fields

var_type: Weak<BoolType>

terms: Vec<Rc<BoolExpr>>

Trait Implementations

impl Debug for BoolExpr

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

Formats the value using the given formatter.

impl Var for BoolExpr

fn var_type(&self) -> Rc<dyn Type>

fn as_any(self: Rc<Self>) -> Rc<dyn Any>

fn as_env(self: Rc<Self>) -> Option<Rc<dyn Env>>