Enum Variable 

pub enum Variable<F: PrimeField> {
    Committed(usize),
    MultiplierLeft(usize),
    MultiplierRight(usize),
    MultiplierOutput(usize),
    One(),
    Phantom(PhantomData<F>),
}

Represents a variable in a constraint system.

Variants

Committed(usize)

Represents an external input specified by a commitment.

MultiplierLeft(usize)

Represents the left input of a multiplication gate.

MultiplierRight(usize)

Represents the right input of a multiplication gate.

MultiplierOutput(usize)

Represents the output of a multiplication gate.

One()

Represents the constant 1.

Phantom(PhantomData<F>)

Phantom.

Trait Implementations

impl<F: PrimeField, L: Into<LinearCombination<F>>> Add<L> for Variable<F>

type Output = LinearCombination<F>

The resulting type after applying the + operator.

fn add(self, other: L) -> Self::Output

Performs the + operation.

impl<F: Clone + PrimeField> Clone for Variable<F>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Copy + PrimeField> Copy for Variable<F>

impl<F: Debug + PrimeField> Debug for Variable<F>

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

Formats the value using the given formatter.

impl<F: PrimeField> From<Variable<F>> for LinearCombination<F>

fn from(v: Variable<F>) -> LinearCombination<F>

Converts to this type from the input type.

impl<F: PrimeField, S: Into<F>> Mul<S> for Variable<F>

type Output = LinearCombination<F>

The resulting type after applying the * operator.

fn mul(self, other: S) -> Self::Output

Performs the * operation.

impl<F: PrimeField> Neg for Variable<F>

type Output = LinearCombination<F>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<F: PartialEq + PrimeField> PartialEq for Variable<F>

fn eq(&self, other: &Variable<F>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<F: PartialEq + PrimeField> StructuralPartialEq for Variable<F>

impl<F: PrimeField, L: Into<LinearCombination<F>>> Sub<L> for Variable<F>

type Output = LinearCombination<F>

The resulting type after applying the - operator.

fn sub(self, other: L) -> Self::Output

Performs the - operation.