Enum miden_core::mast::MastNode

pub enum MastNode {
    Block(BasicBlockNode),
    Join(JoinNode),
    Split(SplitNode),
    Loop(LoopNode),
    Call(CallNode),
    Dyn,
    External(ExternalNode),
}

Variants

Block(BasicBlockNode)

Join(JoinNode)

Split(SplitNode)

Loop(LoopNode)

Call(CallNode)

Dyn

External(ExternalNode)

Implementations

impl MastNode

Constructors

pub fn new_basic_block(operations: Vec<Operation>) -> Self

pub fn new_basic_block_with_decorators( operations: Vec<Operation>, decorators: DecoratorList, ) -> Self

pub fn new_join( left_child: MastNodeId, right_child: MastNodeId, mast_forest: &MastForest, ) -> Result<Self, MastForestError>

pub fn new_split( if_branch: MastNodeId, else_branch: MastNodeId, mast_forest: &MastForest, ) -> Result<Self, MastForestError>

pub fn new_loop( body: MastNodeId, mast_forest: &MastForest, ) -> Result<Self, MastForestError>

pub fn new_call( callee: MastNodeId, mast_forest: &MastForest, ) -> Result<Self, MastForestError>

pub fn new_syscall( callee: MastNodeId, mast_forest: &MastForest, ) -> Result<Self, MastForestError>

pub fn new_dyn() -> Self

pub fn new_external(mast_root: RpoDigest) -> Self

impl MastNode

Public accessors

pub fn is_basic_block(&self) -> bool

pub fn domain(&self) -> Felt

pub fn digest(&self) -> RpoDigest

pub fn to_display<'a>( &'a self, mast_forest: &'a MastForest, ) -> impl Display + 'a

Trait Implementations

impl Clone for MastNode

fn clone(&self) -> MastNode

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MastNode

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

Formats the value using the given formatter.

impl PartialEq for MastNode

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

impl StructuralPartialEq for MastNode