Struct Expr 

pub struct Expr<'a, F: TowerField> { /* private fields */ }

Lightweight handle to a DAG node in a ConstraintSystem.

Supports +, *, - via operator overloading. Sub delegates to Add (correct for GF(2^k) only).

Trait Implementations

impl<'a, F: TowerField> Add for Expr<'a, F>

type Output = Expr<'a, F>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'a, F: Clone + TowerField> Clone for Expr<'a, F>

fn clone(&self) -> Expr<'a, F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, F: TowerField> Mul for Expr<'a, F>

type Output = Expr<'a, F>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<'a, F: TowerField> Sub for Expr<'a, F>

type Output = Expr<'a, F>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'a, F: Copy + TowerField> Copy for Expr<'a, F>