Struct SplitNode 

pub struct SplitNode { /* private fields */ }

A Split node defines conditional execution. When the VM encounters a Split node it executes either the on_true child or on_false child.

Which child is executed is determined based on the top of the stack. If the value is 1, then the on_true child is executed. If the value is 0, then the on_false child is executed. If the value is neither 0 nor 1, the execution fails.

Implementations

impl SplitNode

Constants

pub const DOMAIN: Felt

The domain of the split node (used for control block hashing).

impl SplitNode

Public accessors

pub fn on_true(&self) -> MastNodeId

Returns the ID of the node which is to be executed if the top of the stack is 1.

pub fn on_false(&self) -> MastNodeId

Returns the ID of the node which is to be executed if the top of the stack is 0.

Trait Implementations

impl Clone for SplitNode

fn clone(&self) -> SplitNode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SplitNode

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SplitNode

fn deserialize<__D>( __deserializer: __D, ) -> Result<SplitNode, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for SplitNode

impl From<SplitNode> for MastNode

fn from(value: SplitNode) -> MastNode

Converts to this type from the input type.

impl MastNodeExt for SplitNode

fn digest(&self) -> Word

Returns a commitment to this Split node.

The commitment is computed as a hash of the on_true and on_false child nodes in the domain defined by Self::DOMAIN - i..e,:

Hasher::merge_in_domain(&[on_true_digest, on_false_digest], SplitNode::DOMAIN);

fn before_enter<'a>(&'a self, forest: &'a MastForest) -> &'a [DecoratorId]

Returns the decorators to be executed before this node is executed.

fn after_exit<'a>(&'a self, forest: &'a MastForest) -> &'a [DecoratorId]

Returns the decorators to be executed after this node is executed.

type Builder = SplitNodeBuilder

Converts this node into its corresponding builder, reusing allocated data where possible.

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

Returns a display formatter for this node.

fn to_pretty_print<'a>( &'a self, mast_forest: &'a MastForest, ) -> Box<dyn PrettyPrint + 'a>

Returns a pretty printer for this node.

fn has_children(&self) -> bool

Returns true if the this node has children.

fn append_children_to(&self, target: &mut Vec<MastNodeId>)

Appends the NodeIds of the children of this node, if any, to the vector.

fn for_each_child<F>(&self, f: F)

where F: FnMut(MastNodeId),

Executes the given closure for each child of this node.

fn domain(&self) -> Felt

Returns the domain of this node.

fn to_builder(self, forest: &MastForest) -> <SplitNode as MastNodeExt>::Builder

fn verify_node_in_forest(&self, forest: &MastForest)

Verifies that this node is stored at the ID in its decorators field in the forest.

impl PartialEq for SplitNode

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

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SplitNode