Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
sort.cc
Go to the documentation of this file.
2 #include <vcsn/algos/sort.hh>
3 #include <vcsn/dyn/algos.hh>
5 
6 namespace vcsn
7 {
8  namespace dyn
9  {
10  REGISTER_DEFINE(is_out_sorted);
11  bool
13  {
14  return detail::is_out_sorted_registry().call(aut);
15  }
16 
17  REGISTER_DEFINE(sort);
18  automaton
19  sort(const automaton& aut)
20  {
21  return detail::sort_registry().call(aut);
22  }
23  }
24 }
std::shared_ptr< detail::automaton_base > automaton
Definition: automaton.hh:71
bool is_out_sorted(const automaton &aut)
Whether the outgoing transitions of each state have increasing labels.
Definition: sort.cc:12
automaton sort(const automaton &a)
A copy of a with normalized state numbers.
Definition: sort.cc:19