Enum snarkvm_wasm::ConstraintVariable

pub enum ConstraintVariable<F> where
    F: Field,  {
    LC(LinearCombination<F>),
    Var(Variable),
}

Either a Variable or a LinearCombination.

Variants

LC(LinearCombination<F>)

A wrapper around a LinearCombination.

Var(Variable)

A wrapper around a Variable.

Implementations

impl<F> ConstraintVariable<F> where
    F: Field, 

pub fn zero() -> ConstraintVariable<F>

Returns an empty linear combination.

pub fn negate_in_place(&mut self)

Negate the coefficients of all variables in self.

pub fn double_in_place(&mut self)

Double the coefficients of all variables in self.

Trait Implementations

impl<'_, '_, F> Add<&'_ ConstraintVariable<F>> for &'_ ConstraintVariable<F> where
    F: Field, 

type Output = ConstraintVariable<F>

The resulting type after applying the + operator.

pub fn add(
    self,
    other: &ConstraintVariable<F>
) -> <&'_ ConstraintVariable<F> as Add<&'_ ConstraintVariable<F>>>::Output

Performs the + operation.

impl<'a, F> Add<&'a ConstraintVariable<F>> for ConstraintVariable<F> where
    F: Field, 

type Output = ConstraintVariable<F>

The resulting type after applying the + operator.

pub fn add(self, other: &'a ConstraintVariable<F>) -> ConstraintVariable<F>

Performs the + operation.

impl<'a, F> Add<(F, &'a ConstraintVariable<F>)> for ConstraintVariable<F> where
    F: Field, 

type Output = ConstraintVariable<F>

The resulting type after applying the + operator.

pub fn add(self, (F, &'a ConstraintVariable<F>)) -> ConstraintVariable<F>

Performs the + operation.

impl<F> Add<(F, Variable)> for ConstraintVariable<F> where
    F: Field, 

type Output = ConstraintVariable<F>

The resulting type after applying the + operator.

pub fn add(self, var: (F, Variable)) -> ConstraintVariable<F>

Performs the + operation.

impl<'_, F> Add<LinearCombination<F>> for &'_ ConstraintVariable<F> where
    F: Field, 

type Output = LinearCombination<F>

The resulting type after applying the + operator.

pub fn add(self, other_lc: LinearCombination<F>) -> LinearCombination<F>

Performs the + operation.

impl<F> Add<LinearCombination<F>> for ConstraintVariable<F> where
    F: Field, 

type Output = LinearCombination<F>

The resulting type after applying the + operator.

pub fn add(self, other_lc: LinearCombination<F>) -> LinearCombination<F>

Performs the + operation.

impl<F> Add<Variable> for ConstraintVariable<F> where
    F: Field, 

type Output = ConstraintVariable<F>

The resulting type after applying the + operator.

pub fn add(self, other: Variable) -> ConstraintVariable<F>

Performs the + operation.

impl<F> AddAssign<(F, Variable)> for ConstraintVariable<F> where
    F: Field, 

pub fn add_assign(&mut self, var: (F, Variable))

Performs the += operation.

impl<F> Clone for ConstraintVariable<F> where
    F: Clone + Field, 

pub fn clone(&self) -> ConstraintVariable<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F> Debug for ConstraintVariable<F> where
    F: Debug + Field, 

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

Formats the value using the given formatter.

impl<F> From<(F, ConstraintVariable<F>)> for ConstraintVariable<F> where
    F: Field, 

pub fn from((F, ConstraintVariable<F>)) -> ConstraintVariable<F>

Performs the conversion.

impl<F> From<(F, LinearCombination<F>)> for ConstraintVariable<F> where
    F: Field, 

pub fn from((F, LinearCombination<F>)) -> ConstraintVariable<F>

Performs the conversion.

impl<F> From<(F, Variable)> for ConstraintVariable<F> where
    F: Field, 

pub fn from(coeff_var: (F, Variable)) -> ConstraintVariable<F>

Performs the conversion.

impl<F> From<LinearCombination<F>> for ConstraintVariable<F> where
    F: Field, 

pub fn from(lc: LinearCombination<F>) -> ConstraintVariable<F>

Performs the conversion.

impl<F> From<Variable> for ConstraintVariable<F> where
    F: Field, 

pub fn from(var: Variable) -> ConstraintVariable<F>

Performs the conversion.

impl<F> Mul<F> for ConstraintVariable<F> where
    F: Field, 

type Output = ConstraintVariable<F>

The resulting type after applying the * operator.

pub fn mul(self, scalar: F) -> ConstraintVariable<F>

Performs the * operation.

impl<F> MulAssign<F> for ConstraintVariable<F> where
    F: Field, 

pub fn mul_assign(&mut self, scalar: F)

Performs the *= operation.

impl<F> Neg for ConstraintVariable<F> where
    F: Field, 

type Output = ConstraintVariable<F>

The resulting type after applying the - operator.

pub fn neg(self) -> ConstraintVariable<F>

Performs the unary - operation.

impl<'_, '_, F> Sub<&'_ ConstraintVariable<F>> for &'_ ConstraintVariable<F> where
    F: Field, 

type Output = ConstraintVariable<F>

The resulting type after applying the - operator.

pub fn sub(
    self,
    other: &ConstraintVariable<F>
) -> <&'_ ConstraintVariable<F> as Sub<&'_ ConstraintVariable<F>>>::Output

Performs the - operation.

impl<'a, F> Sub<&'a ConstraintVariable<F>> for ConstraintVariable<F> where
    F: Field, 

type Output = ConstraintVariable<F>

The resulting type after applying the - operator.

pub fn sub(self, other: &'a ConstraintVariable<F>) -> ConstraintVariable<F>

Performs the - operation.

impl<'a, F> Sub<(F, &'a ConstraintVariable<F>)> for ConstraintVariable<F> where
    F: Field, 

type Output = ConstraintVariable<F>

The resulting type after applying the - operator.

pub fn sub(self, (F, &'a ConstraintVariable<F>)) -> ConstraintVariable<F>

Performs the - operation.

impl<F> Sub<(F, Variable)> for ConstraintVariable<F> where
    F: Field, 

type Output = ConstraintVariable<F>

The resulting type after applying the - operator.

pub fn sub(self, (F, Variable)) -> ConstraintVariable<F>

Performs the - operation.

impl<F> Sub<LinearCombination<F>> for ConstraintVariable<F> where
    F: Field, 

type Output = LinearCombination<F>

The resulting type after applying the - operator.

pub fn sub(self, other_lc: LinearCombination<F>) -> LinearCombination<F>

Performs the - operation.

impl<'_, F> Sub<LinearCombination<F>> for &'_ ConstraintVariable<F> where
    F: Field, 

type Output = LinearCombination<F>

The resulting type after applying the - operator.

pub fn sub(self, other_lc: LinearCombination<F>) -> LinearCombination<F>

Performs the - operation.

impl<F> Sub<Variable> for ConstraintVariable<F> where
    F: Field, 

type Output = ConstraintVariable<F>

The resulting type after applying the - operator.

pub fn sub(self, other: Variable) -> ConstraintVariable<F>

Performs the - operation.