Struct leo_ast::input::program_state::public_state::public_state::PublicState

pub struct PublicState { /* fields omitted */ }

Implementations

impl PublicState

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,
    sections: Vec<Section<'_>>
) -> Result<(), InputParserError>

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

pub fn get_state(&self) -> &State

Returns the runtime state input values

Trait Implementations

impl Clone for PublicState

pub fn clone(&self) -> PublicState

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for PublicState

pub fn default() -> PublicState

Returns the "default value" for a type.

impl Eq for PublicState

impl PartialEq<PublicState> for PublicState

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

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

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

This method tests for !=.

impl StructuralEq for PublicState

impl StructuralPartialEq for PublicState