Enum Expression

pub enum Expression {
    Const(u64),
    Elem(Identifier),
    VectorAccess(VectorAccess),
    MatrixAccess(MatrixAccess),
    IndexedTraceAccess(IndexedTraceAccess),
    NamedTraceAccess(NamedTraceAccess),
    Rand(Identifier, usize),
    Add(Box<Expression>, Box<Expression>),
    Sub(Box<Expression>, Box<Expression>),
    Mul(Box<Expression>, Box<Expression>),
    Exp(Box<Expression>, Box<Expression>),
    ListFolding(ListFoldingType),
}

Arithmetic expressions for evaluation of constraints.

Variants

Const(u64)

Elem(Identifier)

Represents any named constant or variable.

VectorAccess(VectorAccess)

Represents an element inside a constant or variable vector. VectorAccess contains the name of the vector and the index of the element to access.

MatrixAccess(MatrixAccess)

Represents an element inside a constant or variable matrix. MatrixAccess contains the name of the matrix and indices of the element to access.

IndexedTraceAccess(IndexedTraceAccess)

NamedTraceAccess(NamedTraceAccess)

Rand(Identifier, usize)

Represents a random value provided by the verifier. The first inner value is the name of the random values array and the second is the index of this random value in that array

Add(Box<Expression>, Box<Expression>)

Sub(Box<Expression>, Box<Expression>)

Mul(Box<Expression>, Box<Expression>)

Exp(Box<Expression>, Box<Expression>)

ListFolding(ListFoldingType)

Trait Implementations

impl Clone for Expression

fn clone(&self) -> Expression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expression

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

Formats the value using the given formatter.

impl PartialEq for Expression

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

impl StructuralPartialEq for Expression