Skip to main content

PruneTracker

Trait PruneTracker 

Source
pub trait PruneTracker: ExecTracker {
    // 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.

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§