Enum Expression 

pub enum Expression<F: Field> {
    Constant(F),
    Wire(Wire),
    Neg(Box<Expression<F>>),
    Sum(Box<Expression<F>>, Box<Expression<F>>),
    Product(Box<Expression<F>>, Box<Expression<F>>),
}

A symbolic polynomial expression over field F and wire indices.

Used to build constraints: an expression that must equal zero.

Variants

Constant(F)

A field constant.

Wire(Wire)

A wire reference (a variable).

Neg(Box<Expression<F>>)

Negation of an expression.

Sum(Box<Expression<F>>, Box<Expression<F>>)

Sum of two expressions.

Product(Box<Expression<F>>, Box<Expression<F>>)

Product of two expressions.

Implementations

impl<F: Field> Expression<F>

pub fn constant(c: F) -> Self

A constant expression.

pub fn wire(w: Wire) -> Self

A wire reference.

pub fn evaluate( &self, assignment: &dyn Fn(Wire) -> Result<F, Error>, ) -> Result<F, Error>

Evaluate this expression given a wire-value assignment.

Errors

Returns Error::WireOutOfBounds if a referenced wire is not in the assignment.

Trait Implementations

impl<F: Field> Add for Expression<F>

type Output = Expression<F>

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self

Performs the + operation.

impl<F: Clone + Field> Clone for Expression<F>

fn clone(&self) -> Expression<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Field> Debug for Expression<F>

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

Formats the value using the given formatter.

impl<F: Field> Mul for Expression<F>

type Output = Expression<F>

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self

Performs the * operation.

impl<F: Field> Neg for Expression<F>

type Output = Expression<F>

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl<F: Field> Sub for Expression<F>

type Output = Expression<F>

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self

Performs the - operation.