Struct Num

pub struct Num<E: Engine> { /* private fields */ }

Implementations

impl<E: Engine> Num<E>

pub fn zero() -> Self

pub fn get_value(&self) -> Option<E::Fr>

pub fn lc(&self, coeff: E::Fr) -> LinearCombination<E>

pub fn scale(&mut self, coeff: E::Fr)

pub fn add_number_with_coeff( self, variable: &AllocatedNum<E>, coeff: E::Fr, ) -> Self

pub fn add_bool_with_coeff( self, one: Variable, bit: &Boolean, coeff: E::Fr, ) -> Self

pub fn mut_add_number_with_coeff( &mut self, variable: &AllocatedNum<E>, coeff: E::Fr, )

pub fn mut_add_bool_with_coeff( &mut self, one: Variable, bit: &Boolean, coeff: E::Fr, )

pub fn add_assign(&mut self, other: &Self)

Trait Implementations

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

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<E: Engine> From<AllocatedNum<E>> for Num<E>

fn from(num: AllocatedNum<E>) -> Num<E>

Converts to this type from the input type.