Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
normalize.cc
Go to the documentation of this file.
1 #include <lib/vcsn/algos/registry.hh>
2 #include <vcsn/algos/normalize.hh>
3 #include <vcsn/dyn/algos.hh>
4 #include <vcsn/dyn/automaton.hh>
5 
6 namespace vcsn
7 {
8  /*----------------.
9  | is_normalized. |
10  `----------------*/
11 
12  namespace dyn
13  {
14  REGISTER_DEFINE(is_normalized);
15 
16  bool
17  is_normalized(const automaton& aut)
18  {
19  return detail::is_normalized_registry().call(aut);
20  }
21  }
22 
23  /*-----------.
24  | normalize. |
25  `-----------*/
26 
27  namespace dyn
28  {
29  REGISTER_DEFINE(normalize);
30 
31  automaton
32  normalize(const automaton& aut)
33  {
34  return detail::normalize_registry().call(aut);
35  }
36  }
37 
38 }
vcsn::dyn::automaton
std::shared_ptr< detail::automaton_base > automaton
Definition: automaton.hh:71
vcsn::dyn::is_normalized
bool is_normalized(const automaton &aut)
Whether is normalized (in the Thompson sense), i.e., standard and co-standard.
Definition: normalize.cc:17
vcsn::dyn::normalize
automaton normalize(const automaton &aut)
Normalize automaton aut.
Definition: normalize.cc:32