state_convolution

Function state_convolution 

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