Struct circomspect_program_structure::intermediate_representation::variable_meta::VariableKnowledge

pub struct VariableKnowledge { /* private fields */ }

Implementations

impl VariableKnowledge

pub fn new() -> VariableKnowledge

pub fn set_locals_read(&mut self, uses: &VariableUses) -> &mut VariableKnowledge

pub fn set_locals_written( &mut self, uses: &VariableUses ) -> &mut VariableKnowledge

pub fn set_signals_read( &mut self, uses: &VariableUses ) -> &mut VariableKnowledge

pub fn set_signals_written( &mut self, uses: &VariableUses ) -> &mut VariableKnowledge

pub fn set_components_read( &mut self, uses: &VariableUses ) -> &mut VariableKnowledge

pub fn set_components_written( &mut self, uses: &VariableUses ) -> &mut VariableKnowledge

pub fn locals_read(&self) -> &VariableUses

pub fn locals_written(&self) -> &VariableUses

pub fn signals_read(&self) -> &VariableUses

pub fn signals_written(&self) -> &VariableUses

pub fn components_read(&self) -> &VariableUses

pub fn components_written(&self) -> &VariableUses

pub fn variables_read<'a>( &'a self ) -> Box<dyn Iterator<Item = &'a VariableUse> + 'a>

pub fn variables_written<'a>( &'a self ) -> Box<dyn Iterator<Item = &'a VariableUse> + 'a>

pub fn variables_used<'a>( &'a self ) -> Box<dyn Iterator<Item = &'a VariableUse> + 'a>

Trait Implementations

impl Clone for VariableKnowledge

fn clone(&self) -> VariableKnowledge

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for VariableKnowledge

fn default() -> VariableKnowledge

Returns the “default value” for a type.