Struct r1cs::WireValues

pub struct WireValues<F: Field> { /* fields omitted */ }

An assignment of wire values, where each value is an element of the field F.

Methods

impl<F: Field> WireValues<F>

pub fn new() -> Self

pub fn as_map(&self) -> &BTreeMap<Wire, Element<F>>

pub fn get(&self, wire: Wire) -> &Element<F>

pub fn get_boolean(&self, wire: BooleanWire) -> bool

pub fn set(&mut self, wire: Wire, value: Element<F>)

pub fn set_boolean(&mut self, wire: BooleanWire, value: bool)

pub fn set_binary_unsigned(&mut self, wire: &BinaryWire, value: &BigUint)

pub fn contains(&self, wire: Wire) -> bool

pub fn contains_boolean(&self, wire: BooleanWire) -> bool

pub fn contains_all(&self, wires: &[Wire]) -> bool

Trait Implementations

impl<F: Field> Clone for WireValues<F>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Default + Field> Default for WireValues<F>

fn default() -> WireValues<F>

Returns the "default value" for a type.

impl<F: Debug + Field> Debug for WireValues<F>

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

Formats the value using the given formatter.