Enum ANFExpr

pub enum ANFExpr<T> {
    Atom(ANFAtom<T>),
    Let(VarRef, ANFComputation<T>, Box<ANFExpr<T>>),
}

ANF expressions

Variants

Atom(ANFAtom<T>)

Atomic expression (constant or variable)

Let(VarRef, ANFComputation<T>, Box<ANFExpr<T>>)

Let binding: let var = computation in body

Implementations

impl<T> ANFExpr<T>

where T: NumericType + Float + Copy + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Neg<Output = T> + Zero,

pub fn constant(value: T) -> Self

Create an atomic constant

pub fn variable(var_ref: VarRef) -> Self

Create an atomic variable

pub fn let_binding( var_ref: VarRef, computation: ANFComputation<T>, body: ANFExpr<T>, ) -> Self

Create a let binding

pub fn is_atom(&self) -> bool

Check if this is an atomic expression

pub fn is_let(&self) -> bool

Check if this is a let binding

pub fn let_count(&self) -> usize

Count the number of let bindings in this expression

pub fn used_variables(&self) -> Vec<VarRef>

Collect all variables used in this expression

pub fn eval(&self, variables: &HashMap<usize, T>) -> T

Evaluate the ANF expression with a variable map and bound variable map

Trait Implementations

impl<T: Clone> Clone for ANFExpr<T>

fn clone(&self) -> ANFExpr<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for ANFExpr<T>

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

Formats the value using the given formatter.

impl<T: PartialEq> PartialEq for ANFExpr<T>

fn eq(&self, other: &ANFExpr<T>) -> 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<T> StructuralPartialEq for ANFExpr<T>