Struct kimchi::circuits::witness::Variables

pub struct Variables<'a, T>(_);

Layout variables mapping - these values are substituted into the witness layout when creating the witness instance.

Map of witness values (used by VariableCells) name (String) -> value (F)

Implementations

impl<'a, T> Variables<'a, T>

pub fn create() -> Variables<'a, T>

Create a layout variable map

pub fn insert(&mut self, name: &'a str, value: T)

Insert a variable and corresponding value into the variable map

Trait Implementations

impl<'a, T> Index<&'a str> for Variables<'a, T>

type Output = T

The returned type after indexing.

fn index(&self, name: &'a str) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<'a, T> IndexMut<&'a str> for Variables<'a, T>

fn index_mut(&mut self, name: &'a str) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.