[−][src]Struct bellman_ce::LinearCombination
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: Engine> AsRef<[(Variable, <E as ScalarEngine>::Fr)]> for LinearCombination<E>[src]
impl<E: Clone + Engine> Clone for LinearCombination<E> where
E::Fr: Clone, [src]
E::Fr: Clone,
fn clone(&self) -> LinearCombination<E>[src]
fn clone_from(&mut self, source: &Self)1.0.0[src]
Performs copy-assignment from source. Read more
impl<E: Engine> Sub<(<E as ScalarEngine>::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]
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]
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]
impl<'a, E: Engine> Sub<(<E as ScalarEngine>::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>
impl<E: Engine> Add<(<E as ScalarEngine>::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]
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]
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]
impl<'a, E: Engine> Add<(<E as ScalarEngine>::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>
Auto Trait Implementations
impl<E> Send for LinearCombination<E> where
<E as ScalarEngine>::Fr: Send,
<E as ScalarEngine>::Fr: Send,
impl<E> Sync for LinearCombination<E> where
<E as ScalarEngine>::Fr: Sync,
<E as ScalarEngine>::Fr: Sync,
Blanket Implementations
impl<T, U> Into for T where
U: From<T>, [src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone, [src]
T: Clone,
impl<T> From for T[src]
impl<T, U> TryFrom for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T> Borrow for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> BorrowMut for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T, U> TryInto for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,