Struct bellman::LinearCombination

pub struct LinearCombination<E: Engine>(_);

Methods

impl<E: Engine> LinearCombination<E>

fn zero() -> LinearCombination<E>

fn eval(
    self,
    input_density: Option<&mut DensityTracker>,
    aux_density: Option<&mut DensityTracker>,
    input_assignment: &[E::Fr],
    aux_assignment: &[E::Fr]
) -> E::Fr

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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>

The method for the + operator

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>

The method for the - operator

impl<E: Engine> Add<(E::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>

The method for the + operator

impl<E: Engine> Sub<(E::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>

The method for the - operator

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>

The method for the + operator

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>

The method for the - operator