18 return detail::transpose_registry().call(aut);
31 return detail::transpose_ratexp_registry().call(e);
38 return detail::transposition_ratexp_registry().call(r);
automaton transpose(automaton &aut)
Transpose aut.
std::shared_ptr< detail::automaton_base > automaton
ratexp transpose_ratexp(const ratexp &exp)
Bridge.
std::shared_ptr< detail::ratexp_base > ratexp
ratexp transposition_ratexp(const ratexp &exp)
Bridge.
Provide a variadic mul on top of a binary mul(), and one().
ratexp transposition(const ratexp &r)
Add the transposition operator to r.