Enum Expr

pub enum Expr {
    Terminal(Terminal),
    Unary(UnaryOp, Box<Expr>),
    Binary(BinaryOp, Box<Expr>, Box<Expr>),
    CLZ(Box<Expr>),
    CLS(Box<Expr>),
    Rev(Box<Expr>),
    BVPopcnt(Box<Expr>),
    BVSubs(Box<Expr>, Box<Expr>, Box<Expr>),
    Conditional(Box<Expr>, Box<Expr>, Box<Expr>),
    Switch(Box<Expr>, Vec<(Expr, Expr)>),
    BVExtract(usize, usize, Box<Expr>),
    BVConcat(Vec<Expr>),
    BVIntToBV(usize, Box<Expr>),
    BVToInt(Box<Expr>),
    BVZeroExtTo(usize, Box<Expr>),
    BVZeroExtToVarWidth(Box<Expr>, Box<Expr>),
    BVSignExtTo(usize, Box<Expr>),
    BVSignExtToVarWidth(Box<Expr>, Box<Expr>),
    BVConvTo(Box<Expr>, Box<Expr>),
    WidthOf(Box<Expr>),
    LoadEffect(Box<Expr>, Box<Expr>, Box<Expr>),
    StoreEffect(Box<Expr>, Box<Expr>, Box<Expr>, Box<Expr>),
}

Expressions (combined across all types).

Variants

Terminal(Terminal)

Unary(UnaryOp, Box<Expr>)

Binary(BinaryOp, Box<Expr>, Box<Expr>)

CLZ(Box<Expr>)

CLS(Box<Expr>)

Rev(Box<Expr>)

BVPopcnt(Box<Expr>)

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

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

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

BVExtract(usize, usize, Box<Expr>)

BVConcat(Vec<Expr>)

BVIntToBV(usize, Box<Expr>)

BVToInt(Box<Expr>)

BVZeroExtTo(usize, Box<Expr>)

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

BVSignExtTo(usize, Box<Expr>)

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

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

WidthOf(Box<Expr>)

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

StoreEffect(Box<Expr>, Box<Expr>, Box<Expr>, Box<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 Display for Expr

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

Formats the value using the given formatter.

impl Hash for Expr

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 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