Struct LinearCombination

pub struct LinearCombination<E: Engine>(/* private fields */);

This represents a linear combination of some variables, with coefficients in the scalar field of a pairing-friendly elliptic curve group.

Implementations

impl<E: Engine> LinearCombination<E>

pub fn zero() -> LinearCombination<E>

Trait Implementations

impl<'a, E: Engine> Add<&'a LinearCombination<E>> for LinearCombination<E>

type Output = LinearCombination<E>

The resulting type after applying the + operator.

fn add(self, other: &'a LinearCombination<E>) -> LinearCombination<E>

Performs the + operation.

impl<'a, E: Engine> Add<(<E as ScalarEngine>::Fr, &'a LinearCombination<E>)> for LinearCombination<E>

type Output = LinearCombination<E>

The resulting type after applying the + operator.

fn add( self, (coeff, other): (E::Fr, &'a LinearCombination<E>), ) -> LinearCombination<E>

Performs the + operation.

impl<E: Engine> Add<(<E as ScalarEngine>::Fr, Variable)> for LinearCombination<E>

type Output = LinearCombination<E>

The resulting type after applying the + operator.

fn add(self, (coeff, var): (E::Fr, Variable)) -> LinearCombination<E>

Performs the + operation.

impl<E: Engine> Add<Variable> for LinearCombination<E>

type Output = LinearCombination<E>

The resulting type after applying the + operator.

fn add(self, other: Variable) -> LinearCombination<E>

Performs the + operation.

impl<E: Engine> AsMut<Vec<(Variable, <E as ScalarEngine>::Fr)>> for LinearCombination<E>

fn as_mut(&mut self) -> &mut Vec<(Variable, E::Fr)>

Converts this type into a mutable reference of the (usually inferred) input type.

impl<E: Engine> AsRef<[(Variable, <E as ScalarEngine>::Fr)]> for LinearCombination<E>

fn as_ref(&self) -> &[(Variable, E::Fr)]

Converts this type into a shared reference of the (usually inferred) input type.

impl<E: Clone + Engine> Clone for LinearCombination<E>

where E::Fr: Clone,

fn clone(&self) -> LinearCombination<E>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a, E: Engine> Sub<&'a LinearCombination<E>> for LinearCombination<E>

type Output = LinearCombination<E>

The resulting type after applying the - operator.

fn sub(self, other: &'a LinearCombination<E>) -> LinearCombination<E>

Performs the - operation.

impl<'a, E: Engine> Sub<(<E as ScalarEngine>::Fr, &'a LinearCombination<E>)> for LinearCombination<E>

type Output = LinearCombination<E>

The resulting type after applying the - operator.

fn sub( self, (coeff, other): (E::Fr, &'a LinearCombination<E>), ) -> LinearCombination<E>

Performs the - operation.

impl<E: Engine> Sub<(<E as ScalarEngine>::Fr, Variable)> for LinearCombination<E>

type Output = LinearCombination<E>

The resulting type after applying the - operator.

fn sub(self, (coeff, var): (E::Fr, Variable)) -> LinearCombination<E>

Performs the - operation.

impl<E: Engine> Sub<Variable> for LinearCombination<E>

type Output = LinearCombination<E>

The resulting type after applying the - operator.

fn sub(self, other: Variable) -> LinearCombination<E>

Performs the - operation.