15 return detail::minimize_registry().call(aut, algo);
22 return detail::reduce_registry().call(aut);
29 return detail::cominimize_registry().call(aut, algo);
std::shared_ptr< detail::automaton_base > automaton
automaton minimize(const automaton &aut, const std::string &algo="auto")
The minimized automaton.
automaton cominimize(const automaton &aut, const std::string &algo="auto")
The cominimized automaton.
automaton reduce(const automaton &aut)
Reduce aut.