Enum Expr

pub enum Expr {
    Var(String),
    Const(Const),
    True,
    False,
    WidthOf(Box<Expr>),
    Not(Box<Expr>),
    And(Box<Expr>, Box<Expr>),
    Or(Box<Expr>, Box<Expr>),
    Imp(Box<Expr>, Box<Expr>),
    Eq(Box<Expr>, Box<Expr>),
    Lte(Box<Expr>, Box<Expr>),
    Lt(Box<Expr>, Box<Expr>),
    BVSgt(Box<Expr>, Box<Expr>),
    BVSgte(Box<Expr>, Box<Expr>),
    BVSlt(Box<Expr>, Box<Expr>),
    BVSlte(Box<Expr>, Box<Expr>),
    BVUgt(Box<Expr>, Box<Expr>),
    BVUgte(Box<Expr>, Box<Expr>),
    BVUlt(Box<Expr>, Box<Expr>),
    BVUlte(Box<Expr>, Box<Expr>),
    BVSaddo(Box<Expr>, Box<Expr>),
    BVNeg(Box<Expr>),
    BVNot(Box<Expr>),
    CLZ(Box<Expr>),
    CLS(Box<Expr>),
    Rev(Box<Expr>),
    BVPopcnt(Box<Expr>),
    BVMul(Box<Expr>, Box<Expr>),
    BVUDiv(Box<Expr>, Box<Expr>),
    BVSDiv(Box<Expr>, Box<Expr>),
    BVAdd(Box<Expr>, Box<Expr>),
    BVSub(Box<Expr>, Box<Expr>),
    BVUrem(Box<Expr>, Box<Expr>),
    BVSrem(Box<Expr>, Box<Expr>),
    BVAnd(Box<Expr>, Box<Expr>),
    BVOr(Box<Expr>, Box<Expr>),
    BVXor(Box<Expr>, Box<Expr>),
    BVRotl(Box<Expr>, Box<Expr>),
    BVRotr(Box<Expr>, Box<Expr>),
    BVShl(Box<Expr>, Box<Expr>),
    BVShr(Box<Expr>, Box<Expr>),
    BVAShr(Box<Expr>, Box<Expr>),
    BVSubs(Box<Expr>, Box<Expr>, Box<Expr>),
    BVZeroExtTo(Box<Width>, Box<Expr>),
    BVZeroExtToVarWidth(Box<Expr>, Box<Expr>),
    BVSignExtTo(Box<Width>, Box<Expr>),
    BVSignExtToVarWidth(Box<Expr>, Box<Expr>),
    BVExtract(usize, usize, Box<Expr>),
    BVConcat(Vec<Expr>),
    BVIntToBv(usize, Box<Expr>),
    BVToInt(Box<Expr>),
    BVConvTo(Box<Expr>, Box<Expr>),
    Conditional(Box<Expr>, Box<Expr>, Box<Expr>),
    Switch(Box<Expr>, Vec<(Expr, Expr)>),
    LoadEffect(Box<Expr>, Box<Expr>, Box<Expr>),
    StoreEffect(Box<Expr>, Box<Expr>, Box<Expr>, Box<Expr>),
}

Typed expressions (u32 is the type var)

Variants

Var(String)

Const(Const)

True

False

WidthOf(Box<Expr>)

Not(Box<Expr>)

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

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

Imp(Box<Expr>, Box<Expr>)

Eq(Box<Expr>, Box<Expr>)

Lte(Box<Expr>, Box<Expr>)

Lt(Box<Expr>, Box<Expr>)

BVSgt(Box<Expr>, Box<Expr>)

BVSgte(Box<Expr>, Box<Expr>)

BVSlt(Box<Expr>, Box<Expr>)

BVSlte(Box<Expr>, Box<Expr>)

BVUgt(Box<Expr>, Box<Expr>)

BVUgte(Box<Expr>, Box<Expr>)

BVUlt(Box<Expr>, Box<Expr>)

BVUlte(Box<Expr>, Box<Expr>)

BVSaddo(Box<Expr>, Box<Expr>)

BVNeg(Box<Expr>)

BVNot(Box<Expr>)

CLZ(Box<Expr>)

CLS(Box<Expr>)

Rev(Box<Expr>)

BVPopcnt(Box<Expr>)

BVMul(Box<Expr>, Box<Expr>)

BVUDiv(Box<Expr>, Box<Expr>)

BVSDiv(Box<Expr>, Box<Expr>)

BVAdd(Box<Expr>, Box<Expr>)

BVSub(Box<Expr>, Box<Expr>)

BVUrem(Box<Expr>, Box<Expr>)

BVSrem(Box<Expr>, Box<Expr>)

BVAnd(Box<Expr>, Box<Expr>)

BVOr(Box<Expr>, Box<Expr>)

BVXor(Box<Expr>, Box<Expr>)

BVRotl(Box<Expr>, Box<Expr>)

BVRotr(Box<Expr>, Box<Expr>)

BVShl(Box<Expr>, Box<Expr>)

BVShr(Box<Expr>, Box<Expr>)

BVAShr(Box<Expr>, Box<Expr>)

BVSubs(Box<Expr>, Box<Expr>, Box<Expr>)

BVZeroExtTo(Box<Width>, Box<Expr>)

BVZeroExtToVarWidth(Box<Expr>, Box<Expr>)

BVSignExtTo(Box<Width>, Box<Expr>)

BVSignExtToVarWidth(Box<Expr>, Box<Expr>)

BVExtract(usize, usize, Box<Expr>)

BVConcat(Vec<Expr>)

BVIntToBv(usize, Box<Expr>)

BVToInt(Box<Expr>)

BVConvTo(Box<Expr>, Box<Expr>)

Conditional(Box<Expr>, Box<Expr>, Box<Expr>)

Switch(Box<Expr>, Vec<(Expr, Expr)>)

LoadEffect(Box<Expr>, Box<Expr>, Box<Expr>)

StoreEffect(Box<Expr>, Box<Expr>, Box<Expr>, Box<Expr>)

Implementations

impl Expr

pub fn var(s: &str) -> Expr

pub fn unary<F: Fn(Box<Expr>) -> Expr>(f: F, x: Expr) -> Expr

pub fn binary<F: Fn(Box<Expr>, Box<Expr>) -> Expr>( f: F, x: Expr, y: Expr, ) -> Expr

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl PartialEq for Expr

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

impl StructuralPartialEq for Expr