Struct bellman::LinearCombination
[−]
[src]
pub struct LinearCombination<E: Engine>(_);
This represents a linear combination of some variables, with coefficients in the scalar field of a pairing-friendly elliptic curve group.
Methods
impl<E: Engine> LinearCombination<E>[src]
pub fn zero() -> LinearCombination<E>[src]
Trait Implementations
impl<E: Clone + Engine> Clone for LinearCombination<E> where
E::Fr: Clone, [src]
E::Fr: Clone,
fn clone(&self) -> LinearCombination<E>[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<E: Engine> AsRef<[(Variable, E::Fr)]> for LinearCombination<E>[src]
impl<E: Engine> Add<(E::Fr, Variable)> for LinearCombination<E>[src]
type Output = LinearCombination<E>
The resulting type after applying the + operator.
fn add(self, (coeff, var): (E::Fr, Variable)) -> LinearCombination<E>[src]
Performs the + operation.
impl<E: Engine> Sub<(E::Fr, Variable)> for LinearCombination<E>[src]
type Output = LinearCombination<E>
The resulting type after applying the - operator.
fn sub(self, (coeff, var): (E::Fr, Variable)) -> LinearCombination<E>[src]
Performs the - operation.
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.
impl<'a, E: Engine> Add<&'a LinearCombination<E>> for LinearCombination<E>[src]
type Output = LinearCombination<E>
The resulting type after applying the + operator.
fn add(self, other: &'a LinearCombination<E>) -> LinearCombination<E>[src]
Performs the + operation.
impl<'a, E: Engine> Sub<&'a LinearCombination<E>> for LinearCombination<E>[src]
type Output = LinearCombination<E>
The resulting type after applying the - operator.
fn sub(self, other: &'a LinearCombination<E>) -> LinearCombination<E>[src]
Performs the - operation.
impl<'a, E: Engine> Add<(E::Fr, &'a LinearCombination<E>)> for LinearCombination<E>[src]
type Output = LinearCombination<E>
The resulting type after applying the + operator.
fn add(
self,
(coeff, other): (E::Fr, &'a LinearCombination<E>)
) -> LinearCombination<E>[src]
self,
(coeff, other): (E::Fr, &'a LinearCombination<E>)
) -> LinearCombination<E>
Performs the + operation.
impl<'a, E: Engine> Sub<(E::Fr, &'a LinearCombination<E>)> for LinearCombination<E>[src]
type Output = LinearCombination<E>
The resulting type after applying the - operator.
fn sub(
self,
(coeff, other): (E::Fr, &'a LinearCombination<E>)
) -> LinearCombination<E>[src]
self,
(coeff, other): (E::Fr, &'a LinearCombination<E>)
) -> LinearCombination<E>
Performs the - operation.
Auto Trait Implementations
impl<E> Send for LinearCombination<E> where
<E as Engine>::Fr: Send,
<E as Engine>::Fr: Send,
impl<E> Sync for LinearCombination<E> where
<E as Engine>::Fr: Sync,
<E as Engine>::Fr: Sync,