Struct ValueEnvironment

pub struct ValueEnvironment { /* private fields */ }

Implementations

impl ValueEnvironment

pub fn new(constants: &UsefulConstants) -> ValueEnvironment

pub fn add_variable( &mut self, name: &VariableName, value: &ValueReduction, ) -> bool

Set the value of the given variable. Returns true on first update.

Panics

This function panics if the caller attempts to set two different values for the same variable.

pub fn get_variable(&self, name: &VariableName) -> Option<&ValueReduction>

pub fn prime(&self) -> &BigInt

Returns the prime used.

Trait Implementations

impl Clone for ValueEnvironment

fn clone(&self) -> ValueEnvironment

Returns a duplicate of the value.

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

Performs copy-assignment from source.