PruneTracker

Trait PruneTracker 

Source
pub trait PruneTracker<J: Jet>: ExecTracker<J> {
    // Required methods
    fn contains_left(&self, ihr: Ihr) -> bool;
    fn contains_right(&self, ihr: Ihr) -> bool;
}

Required Methods§

Source

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.

Source

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.

Implementors§