Struct SetTracker 

pub struct SetTracker { /* private fields */ }

Tracker of executed left and right branches for each case node.

Trait Implementations

impl Clone for SetTracker

fn clone(&self) -> SetTracker

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SetTracker

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

Formats the value using the given formatter.

impl Default for SetTracker

fn default() -> SetTracker

Returns the “default value” for a type.

impl<J: Jet> ExecTracker<J> for SetTracker

fn visit_node<'d>( &mut self, node: &RedeemNode<J>, input: FrameIter<'_>, _output: NodeOutput<'_>, )

Called immediately after a specific node of the program is executed, but before its children are executed.

impl<J: Jet> PruneTracker<J> for SetTracker

fn contains_left(&self, ihr: Ihr) -> bool

Returns true if the left branch of the of the Case node with the IHR ihr was taken.

fn contains_right(&self, ihr: Ihr) -> bool

Returns true if the right branch of the of the Case node with the IHR ihr was taken.