Struct Convolution

pub struct Convolution {}

Trait Implementations

impl<F: Symbol + Ranked> Convolution<F> for Convolution

fn convolute<T: AsRef<[Option<Term<F>>]>>(terms: T) -> Term<Rank<Convoluted<F>>>

Perform a term convolution.

fn deconvolute(_term: Term<Rank<Convoluted<F>>>) -> Vec<Option<Term<F>>>

Perform a term deconvolution.

fn equality<Q: State>( aut: &Automaton<F, Q, NoLabel>, n: usize, ) -> Automaton<Rank<Convoluted<F>>, Q, NoLabel>

Create the equality relation between n terms.

fn generic_automaton<Q: State>( aut: &Automaton<Rank<Convoluted<F>>, Q, NoLabel>, ) -> Automaton<Convoluted<F>, Q, Convoluted<u32>>

Generic alternating-automaton out of a convoluted bottom-up automaton.

fn state_convolution<E, Q: LanguageState<F, E>>( initial_state: Convoluted<Q>, env: &E, ) -> Automaton<Rank<Convoluted<F>>, Convoluted<Q>, NoLabel>

fn search<'a, 'e, Q: State, X: 'a + Family + Ord>( automata: &'a [&'e Automaton<Rank<Convoluted<F>>, Q, NoLabel>], patterns: Vec<Convoluted<Pattern<F, X>>>, kill_signal: Option<Receiver<()>>, ) -> Box<dyn Iterator<Item = Result<Vec<Term<Rank<Convoluted<F>>>>, Killed>> + 'a>