Enum NodeExecutionState 

pub enum NodeExecutionState {
    BasicBlock {
        node_id: MastNodeId,
        batch_index: usize,
        op_idx_in_batch: usize,
    },
    Start(MastNodeId),
    Respan {
        node_id: MastNodeId,
        batch_index: usize,
    },
    LoopRepeat(MastNodeId),
    End(MastNodeId),
}

Specifies the execution state of a node.

Each MAST node has at least 2 different states associated with it: processing the START and END nodes (e.g. JOIN and END in the case of miden_core::mast::JoinNode). Some have more; for example, miden_core::mast::BasicBlockNode has BASIC BLOCK and END, in addition to one state for each operation in the basic block. Since a trace fragment can begin at any clock cycle (determined by super::NUM_ROWS_PER_CORE_FRAGMENT), specifying which MAST node we’re executing is insufficient; we also have to specify at what point during the execution of this node we are at. This is the information that this type is meant to encode.

Variants

BasicBlock

Resume execution within a basic block at a specific batch and operation index. This is used when continuing execution mid-way through a basic block.

Fields

node_id: MastNodeId

Node ID of the basic block being executed

batch_index: usize

Index of the operation batch within the basic block

op_idx_in_batch: usize

Index of the operation within the batch

Start(MastNodeId)

Execute a control flow node (JOIN, SPLIT, LOOP, etc.) from the start. This is used when beginning execution of a control flow construct.

Respan

Execute a RESPAN for the specified batch within the specified basic block.

Fields

node_id: MastNodeId

Node ID of the basic block being executed

batch_index: usize

Index of the operation batch within the basic block

LoopRepeat(MastNodeId)

Execute a Loop node, starting at a REPEAT operation.

End(MastNodeId)

Execute the END phase of a control flow node (JOIN, SPLIT, LOOP, etc.). This is used when completing execution of a control flow construct.

Trait Implementations

impl Clone for NodeExecutionState

fn clone(&self) -> NodeExecutionState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NodeExecutionState

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

Formats the value using the given formatter.

impl PartialEq for NodeExecutionState

fn eq(&self, other: &NodeExecutionState) -> 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 Eq for NodeExecutionState

impl StructuralPartialEq for NodeExecutionState