Struct bellman::Variable
[−]
[src]
pub struct Variable(_);
Represents a variable in our constraint system.
Methods
impl Variable[src]
pub fn new_unchecked(idx: Index) -> Variable[src]
This constructs a variable with an arbitrary index. Circuit implementations are not recommended to use this.
pub fn get_unchecked(&self) -> Index[src]
This returns the index underlying the variable. Circuit implementations are not recommended to use this.
Trait Implementations
impl Copy for Variable[src]
impl Clone for Variable[src]
fn clone(&self) -> Variable[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)1.0.0[src]
Performs copy-assignment from source. Read more
impl Debug for Variable[src]
fn fmt(&self, __arg_0: &mut Formatter) -> Result[src]
Formats the value using the given formatter. Read more
impl<E: Engine> Add<Variable> for LinearCombination<E>[src]
type Output = LinearCombination<E>
The resulting type after applying the + operator.
fn add(self, other: Variable) -> LinearCombination<E>[src]
Performs the + operation.
impl<E: Engine> Sub<Variable> for LinearCombination<E>[src]
type Output = LinearCombination<E>
The resulting type after applying the - operator.
fn sub(self, other: Variable) -> LinearCombination<E>[src]
Performs the - operation.