Struct snarkvm_r1cs::Variable [−][src]
pub struct Variable(_);
Expand description
Represents a variable in a constraint system.
Implementations
This constructs a variable with an arbitrary index. Circuit implementations are not recommended to use this.
This returns the index underlying the variable. Circuit implementations are not recommended to use this.
Mutably borrows the index underlying the variable. Circuit implementations are not recommended to use this.
Trait Implementations
This method returns an ordering between self
and other
values if one exists. Read more
This method tests less than (for self
and other
) and is used by the <
operator. Read more
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
This method tests greater than (for self
and other
) and is used by the >
operator. 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 RefUnwindSafe for Variable
impl UnwindSafe for Variable
Blanket Implementations
Mutably borrows from an owned value. Read more
Compare self to key
and return true
if they are equal.
pub fn vzip(self) -> V