Trait tree_automata::bottom_up::width_search::SearchPattern

pub trait SearchPattern<F: Symbol, Q: State, C: SearchContext>: Clone + Display + Debug {
    fn matches(
        &self, 
        depth: usize, 
        context: &C, 
        q: &Q, 
        configuration: &Configuration<F, Q>
    ) -> Option<(C, Vec<Self>)>;
}

Required methods

fn matches(
    &self,
    depth: usize,
    context: &C,
    q: &Q,
    configuration: &Configuration<F, Q>
) -> Option<(C, Vec<Self>)>

Loading content...

Implementors

Loading content...