Enum Expr 

pub enum Expr {
    Input {
        index: usize,
        is_real: bool,
    },
    Const(f64),
    Add(Box<Self>, Box<Self>),
    Sub(Box<Self>, Box<Self>),
    Mul(Box<Self>, Box<Self>),
    Neg(Box<Self>),
    Temp(String),
}

A symbolic expression representing FFT operations.

Variants

Input

Input variable: x[index].re or x[index].im

Fields

index: usize

is_real: bool

Const(f64)

Constant value

Add(Box<Self>, Box<Self>)

Addition

Sub(Box<Self>, Box<Self>)

Subtraction

Mul(Box<Self>, Box<Self>)

Multiplication

Neg(Box<Self>)

Negation

Temp(String)

Named temporary (result of CSE)

Implementations

impl Expr

pub const fn input_re(index: usize) -> Self

Create a real input reference.

pub const fn input_im(index: usize) -> Self

Create an imaginary input reference.

pub const fn constant(value: f64) -> Self

Create a constant.

pub fn add(self, other: Self) -> Self

Create addition expression.

pub fn sub(self, other: Self) -> Self

Create subtraction expression.

pub fn mul(self, other: Self) -> Self

Create multiplication expression.

pub const fn const_value(&self) -> Option<f64>

Get constant value if this is a constant.

pub fn structural_hash(&self) -> u64

Hash the expression for CSE.

pub fn collect_temp_refs(&self, refs: &mut HashSet<String>)

Collect all Temp variable names referenced in this expression.

pub fn op_count(&self) -> usize

Count operations in this expression.

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

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 Display 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 StructuralPartialEq for Expr