15 return detail::determinize_registry().call(aut, algo);
23 return detail::codeterminize_registry().call(aut, algo);
std::shared_ptr< detail::automaton_base > automaton
automaton determinize(const automaton &aut, const std::string &algo="weighted")
The determinized automaton.
automaton codeterminize(const automaton &aut, const std::string &algo="weighted")
The codeterminized automaton.