[−][src]Struct bellperson::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]
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,
impl<E> Unpin for LinearCombination<E> where
<E as ScalarEngine>::Fr: Unpin,
<E as ScalarEngine>::Fr: Unpin,
impl<E> UnwindSafe for LinearCombination<E> where
<E as ScalarEngine>::Fr: UnwindSafe,
<E as ScalarEngine>::Fr: UnwindSafe,
impl<E> RefUnwindSafe for LinearCombination<E> where
<E as ScalarEngine>::Fr: RefUnwindSafe,
<E as ScalarEngine>::Fr: RefUnwindSafe,
Blanket Implementations
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T> From<T> for T[src]
impl<T> ToOwned for T where
T: Clone, [src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T[src]
fn clone_into(&self, target: &mut T)[src]
impl<T, U> TryFrom<U> 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, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,