search

automatic_relations::convolution::aligned

Function search 

Source 
pub fn search<'a, F: Symbol + Ranked, Q: State, X: Family + Ord + Clone>(
    aut: &'a Automaton<Rank<Convoluted<F>>, Q, NoLabel>,
    patterns: Vec<Convoluted<Pattern<F, X>>>,
    kill_signal: Option<Receiver<()>>,
) -> Mux<TermFragment<'a, Automaton<Rank<Convoluted<F>>, Q, NoLabel>, Rank<Convoluted<F>>, Q, SearchContext<F, Q, X>, Convoluted<Pattern<F, X>>>>