tree-automata 0.1.2

Term Rewriting Systems
Documentation 
1
2
3
4
5
6
7
8
9
10

trait Transpose<P> {
    /// Return the transposed version of the language.
    fn transpose(&self, pattern: P) -> Self;
}

impl<F, Q, L, P> Transpose<P> for Automaton<F, Q, L> {
    fn transpose(&self, pattern: P) -> Automaton<F, Q, L> {
        // ...
    }
}