Struct ExecutionState 

pub struct ExecutionState<Hash>
where
    Hash: Encode + Decode + Debug + Clone + PartialEq + Eq,
{
    pub state: BTreeMap<[u8; 32], Vec<u8>>,
    pub side_effects: Vec<Vec<SideEffect<[u8; 32], u64, u128>>>,
    pub steps_cnt: (u32, u32),
    pub execution_id: Hash,
}

The local state returned by the circuit for an execution

Fields

state: BTreeMap<[u8; 32], Vec<u8>>

An abstract state mapped by 32 bit hash and a vector of bytes

side_effects: Vec<Vec<SideEffect<[u8; 32], u64, u128>>>

A multi-dimensional vector of side effects, indexed by step

steps_cnt: (u32, u32)

Current step and the length of steps

execution_id: Hash

The id for this execution

Trait Implementations

impl<Hash> Clone for ExecutionState<Hash>

where Hash: Encode + Decode + Debug + Clone + PartialEq + Eq + Clone,

fn clone(&self) -> ExecutionState<Hash>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Hash> Debug for ExecutionState<Hash>

where Hash: Encode + Decode + Debug + Clone + PartialEq + Eq + Debug,

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

Formats the value using the given formatter.

impl<Hash> Decode for ExecutionState<Hash>

where Hash: Encode + Decode + Debug + Clone + PartialEq + Eq + Decode,

fn decode<__CodecInputEdqy: Input>( __codec_input_edqy: &mut __CodecInputEdqy, ) -> Result<Self, Error>

Attempt to deserialise the value from input.

fn decode_into<I>( input: &mut I, dst: &mut MaybeUninit<Self>, ) -> Result<DecodeFinished, Error>

where I: Input,

Attempt to deserialize the value from input into a pre-allocated piece of memory.

fn skip<I>(input: &mut I) -> Result<(), Error>

where I: Input,

Attempt to skip the encoded value from input.

fn encoded_fixed_size() -> Option<usize>

Returns the fixed encoded size of the type.

impl<Hash> Default for ExecutionState<Hash>

where Hash: Encode + Decode + Debug + Clone + PartialEq + Eq + Default,

fn default() -> ExecutionState<Hash>

Returns the “default value” for a type.

impl<Hash> Encode for ExecutionState<Hash>

where Hash: Encode + Decode + Debug + Clone + PartialEq + Eq + Encode,

fn size_hint(&self) -> usize

If possible give a hint of expected size of the encoding.

fn encode_to<__CodecOutputEdqy: Output + ?Sized>( &self, __codec_dest_edqy: &mut __CodecOutputEdqy, )

Convert self to a slice and append it to the destination.

fn encode(&self) -> Vec<u8>

Convert self to an owned vector.

fn using_encoded<R, F>(&self, f: F) -> R

where F: FnOnce(&[u8]) -> R,

Convert self to a slice and then invoke the given closure with it.

fn encoded_size(&self) -> usize

Calculates the encoded size.

impl<Hash> GetExecutionId<Hash> for ExecutionState<Hash>

where Hash: Encode + Decode + Debug + Clone + PartialEq + Eq,

fn get_execution_id(&self) -> &Hash

impl<Hash> GetSteps for ExecutionState<Hash>

where Hash: Encode + Decode + Debug + Clone + PartialEq + Eq,

fn get_index(&self) -> u32

fn get_len(&self) -> u32

fn reached_end(&self) -> bool

impl<Hash> PartialEq for ExecutionState<Hash>

where Hash: Encode + Decode + Debug + Clone + PartialEq + Eq + PartialEq,

fn eq(&self, other: &ExecutionState<Hash>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<Hash> EncodeLike for ExecutionState<Hash>

where Hash: Encode + Decode + Debug + Clone + PartialEq + Eq + Encode,

impl<Hash> Eq for ExecutionState<Hash>

where Hash: Encode + Decode + Debug + Clone + PartialEq + Eq + Eq,

impl<Hash> Getters<Hash> for ExecutionState<Hash>

where Hash: Encode + Decode + Debug + Clone + PartialEq + Eq,

impl<Hash> StructuralPartialEq for ExecutionState<Hash>

where Hash: Encode + Decode + Debug + Clone + PartialEq + Eq,