Struct VarAllocator 

pub struct VarAllocator<T> { /* private fields */ }

Allocator for field variables.

Creates a new wire identifier when requested, and keeps tracks of the wires that have been declared as public.

Implementations

impl<T: Clone + Unit> VarAllocator<T>

pub fn new() -> Self

pub fn new_field_var(&self) -> FieldVar

pub fn allocate_vars<const N: usize>(&self) -> [FieldVar; N]

pub fn allocate_vars_vec(&self, count: usize) -> Vec<FieldVar>

pub fn allocate_public<const N: usize>( &self, public_values: &[T; N], ) -> [FieldVar; N]

pub fn allocate_public_vec(&self, public_values: &[T]) -> Vec<FieldVar>

pub fn vars_count(&self) -> usize

pub fn is_allocated(&self, var: FieldVar) -> bool

pub fn set_public_var(&self, var: FieldVar, val: T)

Assigns the wire variable var to val.

If the wire was already present, it is over-written.

pub fn set_public_vars<Val, Var>( &self, vars: impl IntoIterator<Item = Var>, vals: impl IntoIterator<Item = Val>, )

where Var: Borrow<FieldVar>, Val: Borrow<T>,

Sets a list of public variables.

Takes as input two iterators (for wires and values respectively), and sets each of them to public values.

Panics

If the iterators have different length, this function will panic.

pub fn public_vars(&self) -> Vec<(FieldVar, T)>

Trait Implementations

impl<T: Clone> Clone for VarAllocator<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Clone + Unit> Default for VarAllocator<T>

fn default() -> Self

Returns the “default value” for a type.