Struct leo_ast::input::program_state::program_state::ProgramState

pub struct ProgramState { /* fields omitted */ }

Implementations

impl ProgramState

pub fn new() -> Self

pub fn empty(&self) -> Self

Returns an empty version of this struct with None values. Called during constraint synthesis to provide private input variables.

pub fn len(&self) -> usize

pub fn parse(&mut self, table: Table<'_>) -> Result<(), InputParserError>

Parse all input variables included in a file and store them in self.

pub fn get_record(&self) -> &Record

Returns the runtime record input values

pub fn get_state(&self) -> &State

Returns the runtime state input values

pub fn get_state_leaf(&self) -> &StateLeaf

Returns the runtime state leaf input values

Trait Implementations

impl Clone for ProgramState

pub fn clone(&self) -> ProgramState

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for ProgramState

pub fn default() -> ProgramState

Returns the "default value" for a type.

impl Eq for ProgramState

impl PartialEq<ProgramState> for ProgramState

pub fn eq(&self, other: &ProgramState) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &ProgramState) -> bool

This method tests for !=.

impl StructuralEq for ProgramState

impl StructuralPartialEq for ProgramState