14 return detail::complement_registry().call(aut);
21 return detail::complement_ratexp_registry().call(r);
std::shared_ptr< detail::automaton_base > automaton
ratexp complement_ratexp(const ratexp &exp)
Bridge.
std::shared_ptr< detail::ratexp_base > ratexp
Provide a variadic mul on top of a binary mul(), and one().
automaton complement(const automaton &aut)
The complement of aut.