Enum snarkvm_algorithms::r1cs::ConstraintVariable

pub enum ConstraintVariable<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: Field> ConstraintVariable<F>

pub fn zero() -> Self

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<'a, F: Field> Add<&'a ConstraintVariable<F>> for ConstraintVariable<F>

type Output = ConstraintVariable<F>

The resulting type after applying the + operator.

fn add(self, other: &'a Self) -> Self

Performs the + operation.

impl<F: Field> Add<&ConstraintVariable<F>> for &ConstraintVariable<F>

type Output = ConstraintVariable<F>

The resulting type after applying the + operator.

fn add(self, other: &ConstraintVariable<F>) -> Self::Output

Performs the + operation.

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

type Output = ConstraintVariable<F>

The resulting type after applying the + operator.

fn add(self, (coeff, other): (F, &'a Self)) -> Self

Performs the + operation.

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

type Output = ConstraintVariable<F>

The resulting type after applying the + operator.

fn add(self, var: (F, Variable)) -> Self

Performs the + operation.

impl<F: Field> Add<LinearCombination<F>> for &ConstraintVariable<F>

type Output = LinearCombination<F>

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = LinearCombination<F>

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = ConstraintVariable<F>

The resulting type after applying the + operator.

fn add(self, other: Variable) -> Self

Performs the + operation.

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

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

Performs the += operation.

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

fn from((coeff, var): (F, ConstraintVariable<F>)) -> Self

Converts to this type from the input type.

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

fn from((coeff, lc): (F, LinearCombination<F>)) -> Self

Converts to this type from the input type.

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

fn from(coeff_var: (F, Variable)) -> Self

Converts to this type from the input type.

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

fn from(lc: LinearCombination<F>) -> Self

Converts to this type from the input type.

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

fn from(var: Variable) -> Self

Converts to this type from the input type.

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

type Output = ConstraintVariable<F>

The resulting type after applying the * operator.

fn mul(self, scalar: F) -> Self

Performs the * operation.

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

fn mul_assign(&mut self, scalar: F)

Performs the *= operation.

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

type Output = ConstraintVariable<F>

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

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

type Output = ConstraintVariable<F>

The resulting type after applying the - operator.

fn sub(self, other: &'a Self) -> Self

Performs the - operation.

impl<F: Field> Sub<&ConstraintVariable<F>> for &ConstraintVariable<F>

type Output = ConstraintVariable<F>

The resulting type after applying the - operator.

fn sub(self, other: &ConstraintVariable<F>) -> Self::Output

Performs the - operation.

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

type Output = ConstraintVariable<F>

The resulting type after applying the - operator.

fn sub(self, (coeff, other): (F, &'a Self)) -> Self

Performs the - operation.

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

type Output = ConstraintVariable<F>

The resulting type after applying the - operator.

fn sub(self, (coeff, var): (F, Variable)) -> Self

Performs the - operation.

impl<F: Field> Sub<LinearCombination<F>> for &ConstraintVariable<F>

type Output = LinearCombination<F>

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = LinearCombination<F>

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = ConstraintVariable<F>

The resulting type after applying the - operator.

fn sub(self, other: Variable) -> Self

Performs the - operation.