Enum Expr 

pub enum Expr {
    Var(u32),
    Lit(i64, PrimType),
    Cast(Arc<Expr>, PrimType),
    BinOp(BinOp, Arc<Expr>, Arc<Expr>),
}

Arithmetic expressions in the policy language.

Variants

Var(u32)

A free variable.

Lit(i64, PrimType)

A literal bitcasted to the expected type.

Cast(Arc<Expr>, PrimType)

Explicit casting.

BinOp(BinOp, Arc<Expr>, Arc<Expr>)

Arithmetic/bitwise binary ops.

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Self

Returns a duplicate 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 Eq for Expr

impl PartialEq for Expr

fn eq(&self, other: &Self) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Expr

impl ToExpr for Expr

fn to_expr(self) -> Arc<Expr>

Converts this value to an Expr, with an integer bitcast to a literal of its own type.

impl ToExpr for &Expr

fn to_expr(self) -> Arc<Expr>

Converts this value to an Expr, with an integer bitcast to a literal of its own type.