Enum snarkvm_r1cs::ConstraintVariable [−][src]
pub enum ConstraintVariable<F: Field> { LC(LinearCombination<F>), Var(Variable), }
Expand description
Either a Variable
or a LinearCombination
.
Variants
LC(LinearCombination<F>)
A wrapper around a LinearCombination
.
Var(Variable)
A wrapper around a Variable
.
Implementations
Negate the coefficients of all variables in self
.
Double the coefficients of all variables in self
.
Trait Implementations
type Output = ConstraintVariable<F>
type Output = ConstraintVariable<F>
The resulting type after applying the +
operator.
Performs the +
operation. Read more
type Output = LinearCombination<F>
type Output = LinearCombination<F>
The resulting type after applying the +
operator.
Performs the +
operation. Read more
type Output = LinearCombination<F>
type Output = LinearCombination<F>
The resulting type after applying the +
operator.
Performs the +
operation. Read more
Performs the conversion.
Performs the conversion.
Performs the conversion.
Performs the *=
operation. Read more
type Output = ConstraintVariable<F>
type Output = ConstraintVariable<F>
The resulting type after applying the -
operator.
Performs the -
operation. Read more
type Output = LinearCombination<F>
type Output = LinearCombination<F>
The resulting type after applying the -
operator.
Performs the -
operation. Read more
type Output = LinearCombination<F>
type Output = LinearCombination<F>
The resulting type after applying the -
operator.
Performs the -
operation. Read more
Auto Trait Implementations
impl<F> RefUnwindSafe for ConstraintVariable<F> where
F: RefUnwindSafe,
impl<F> Send for ConstraintVariable<F>
impl<F> Sync for ConstraintVariable<F>
impl<F> Unpin for ConstraintVariable<F> where
F: Unpin,
impl<F> UnwindSafe for ConstraintVariable<F> where
F: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
pub fn vzip(self) -> V