Struct Sum 

pub struct Sum<T>(/* private fields */);

A linear combination of wires, the left-hand side of a LinearEquation.

Implementations

impl<T> Sum<T>

pub fn terms(&self) -> &[Weighted<T>]

The terms of the sum, in the order they were added.

Trait Implementations

impl<T, Rhs: Into<Self>> Add<Rhs> for Sum<T>

type Output = Sum<T>

The resulting type after applying the + operator.

fn add(self, rhs: Rhs) -> Self

Performs the + operation.

impl<T: Ring> Add<Sum<T>> for FieldVar

type Output = Sum<T>

The resulting type after applying the + operator.

fn add(self, rhs: Sum<T>) -> Sum<T>

Performs the + operation.

impl<T: Clone> Clone for Sum<T>

fn clone(&self) -> Sum<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Sum<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T> Default for Sum<T>

fn default() -> Self

Returns the “default value” for a type.

impl<T: Eq> Eq for Sum<T>

impl<T: Ring> From<FieldVar> for Sum<T>

fn from(var: FieldVar) -> Self

Converts to this type from the input type.

impl<T> From<Weighted<T>> for Sum<T>

fn from(term: Weighted<T>) -> Self

Converts to this type from the input type.

impl<T, U: Into<Weighted<T>>> FromIterator<U> for Sum<T>

fn from_iter<I: IntoIterator<Item = U>>(iter: I) -> Self

Creates a value from an iterator.

impl<T: PartialEq> PartialEq for Sum<T>

fn eq(&self, other: &Sum<T>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<T: PartialEq> StructuralPartialEq for Sum<T>

impl<T, U: Into<Self>> Sum<U> for Sum<T>

fn sum<I: IntoIterator<Item = U>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by “summing up” the items.