Trait tree_automata::bottom_up::width_search::SearchContext

pub trait SearchContext: Clone + Display + Debug {
    fn looping(&self) -> bool;
}

Required methods

fn looping(&self) -> bool

Loading content...

Implementors

Loading content...