JoinNode

Struct JoinNode 

Source
pub struct JoinNode { /* private fields */ }
Expand description

A Join node describe sequential execution. When the VM encounters a Join node, it executes the first child first and the second child second.

Implementations§

Source§

impl JoinNode

Constants

Source

pub const DOMAIN: Felt

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

Source§

impl JoinNode

Constructors

Source

pub fn new( children: [MastNodeId; 2], mast_forest: &MastForest, ) -> Result<Self, MastForestError>

Returns a new JoinNode instantiated with the specified children nodes.

Source

pub fn new_unsafe(children: [MastNodeId; 2], digest: Word) -> Self

Returns a new JoinNode from values that are assumed to be correct. Should only be used when the source of the inputs is trusted (e.g. deserialization).

Source§

impl JoinNode

Public accessors

Source

pub fn first(&self) -> MastNodeId

Returns the ID of the node that is to be executed first.

Source

pub fn second(&self) -> MastNodeId

Returns the ID of the node that is to be executed after the execution of the program defined by the first node completes.

Trait Implementations§

Source§

impl Clone for JoinNode

Source§

fn clone(&self) -> JoinNode

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for JoinNode

Source§

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

Formats the value using the given formatter. Read more
Source§

impl From<JoinNode> for MastNode

Source§

fn from(v: JoinNode) -> MastNode

Converts to this type from the input type.
Source§

impl MastNodeErrorContext for JoinNode

Source§

fn decorators(&self) -> impl Iterator<Item = (usize, DecoratorId)>

The list of decorators tied to this node, along with their associated index. Read more
Source§

fn get_assembly_op<'m>( &self, mast_forest: &'m MastForest, target_op_idx: Option<usize>, ) -> Option<&'m AssemblyOp>

Returns the AssemblyOp associated with this node and operation (if provided), if any. Read more
Source§

impl MastNodeExt for JoinNode

Source§

fn digest(&self) -> Word

Returns a commitment to this Join node.

The commitment is computed as a hash of the first and second child node in the domain defined by Self::DOMAIN - i.e.,:

Hasher::merge_in_domain(&[first_child_digest, second_child_digest], JoinNode::DOMAIN);
Source§

fn before_enter(&self) -> &[DecoratorId]

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

Source§

fn after_exit(&self) -> &[DecoratorId]

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

Source§

fn append_before_enter(&mut self, decorator_ids: &[DecoratorId])

Sets the list of decorators to be executed before this node.

Source§

fn append_after_exit(&mut self, decorator_ids: &[DecoratorId])

Sets the list of decorators to be executed after this node.

Source§

fn remove_decorators(&mut self)

Removes all decorators from this node.

Source§

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

Returns a display formatter for this node.
Source§

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

Returns a pretty printer for this node.
Source§

fn remap_children(&self, remapping: &Remapping) -> Self

Remap the node children to their new positions indicated by the given Remapping.
Source§

fn has_children(&self) -> bool

Returns true if the this node has children.
Source§

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

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

fn domain(&self) -> Felt

Returns the domain of this node.
Source§

impl PartialEq for JoinNode

Source§

fn eq(&self, other: &JoinNode) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

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

impl TryInto<JoinNode> for MastNode

Source§

type Error = &'static str

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<JoinNode, <Self as TryInto<JoinNode>>::Error>

Performs the conversion.
Source§

impl Eq for JoinNode

Source§

impl StructuralPartialEq for JoinNode

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V