14 return detail::is_out_sorted_registry().call(aut);
17 REGISTER_DEFINE(
sort);
21 return detail::sort_registry().call(aut);
std::shared_ptr< detail::automaton_base > automaton
bool is_out_sorted(const automaton &aut)
Whether the outgoing transitions of each state have increasing labels.
automaton sort(const automaton &a)
A copy of a with normalized state numbers.