Struct InitVmState

pub struct InitVmState {
    pub stack: Vec<BFieldElement>,
    pub public_input: Vec<BFieldElement>,
    pub nondeterminism: NonDeterminism,
    pub sponge: Option<VmHasher>,
}

Fields

stack: Vec<BFieldElement>

public_input: Vec<BFieldElement>

nondeterminism: NonDeterminism

sponge: Option<VmHasher>

Implementations

impl InitVmState

pub fn with_stack(stack: Vec<BFieldElement>) -> Self

pub fn with_stack_and_memory( stack: Vec<BFieldElement>, memory: HashMap<BFieldElement, BFieldElement>, ) -> Self

Trait Implementations

impl Clone for InitVmState

fn clone(&self) -> InitVmState

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for InitVmState

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for InitVmState

fn default() -> InitVmState

Returns the “default value” for a type.

impl From<AccessorInitialState> for InitVmState

fn from(value: AccessorInitialState) -> Self

Converts to this type from the input type.

impl From<AlgorithmInitialState> for InitVmState

fn from(value: AlgorithmInitialState) -> Self

Converts to this type from the input type.

impl From<FunctionInitialState> for InitVmState

fn from(value: FunctionInitialState) -> Self

Converts to this type from the input type.

impl From<MemPreserverInitialState> for InitVmState

fn from(value: MemPreserverInitialState) -> Self

Converts to this type from the input type.

impl From<ProcedureInitialState> for InitVmState

fn from(value: ProcedureInitialState) -> Self

Converts to this type from the input type.

impl From<ReadOnlyAlgorithmInitialState> for InitVmState

fn from(value: ReadOnlyAlgorithmInitialState) -> Self

Converts to this type from the input type.