Struct miden_core::code_blocks::Split

pub struct Split { /* private fields */ }

A code block used to describe conditional execution.

When the VM executes a Split bock, either the true branch or the false branch of the block is executed. Specifically, if the top of the stack is 1, the true branch is executed, and if the top of the stack is 0, the false branch is executed. If the top of the stack is neither 0 nor 1, the program fails.

Hash of a Split block is computed by hashing a concatenation of the true and the false branch hashes.

Implementations

impl Split

pub const DOMAIN: Felt = _

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

pub fn new(t_branch: CodeBlock, f_branch: CodeBlock) -> Self

Returns a new Split block instantiated with the specified true and false branches.

pub fn hash(&self) -> Digest

Returns a hash of this code block.

pub fn on_true(&self) -> &CodeBlock

Returns a reference to the code block which is to be executed when the top of the stack is 1.

pub fn on_false(&self) -> &CodeBlock

Returns a reference to the code block which is to be executed when the top of the stack is 0.

Trait Implementations

impl Clone for Split

fn clone(&self) -> Split

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Split

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

Formats the value using the given formatter.

impl Display for Split

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

Formats the value using the given formatter.