Function automatic_relations::convolution::aligned::automaton::add_to_convolution

pub fn add_to_convolution<E, F: Symbol, Q: LanguageState<F, E>>(
    aut: &mut Automaton<Rank<Convoluted<F>>, Convoluted<Q>, NoLabel>, 
    state: &Convoluted<Q>, 
    env: &E
)