Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
minimize.cc
Go to the documentation of this file.
2 #include <vcsn/algos/minimize.hh>
3 #include <vcsn/algos/reduce.hh>
4 #include <vcsn/dyn/algos.hh>
5 #include <vcsn/dyn/automaton.hh>
6 
7 namespace vcsn
8 {
9  namespace dyn
10  {
11  REGISTER_DEFINE(minimize);
12  automaton
13  minimize(const automaton& aut, const std::string& algo)
14  {
15  return detail::minimize_registry().call(aut, algo);
16  }
17 
18  REGISTER_DEFINE(reduce);
19  automaton
20  reduce(const automaton& aut)
21  {
22  return detail::reduce_registry().call(aut);
23  }
24 
25  REGISTER_DEFINE(cominimize);
26  automaton
27  cominimize(const automaton& aut, const std::string& algo)
28  {
29  return detail::cominimize_registry().call(aut, algo);
30  }
31  }
32 }
std::shared_ptr< detail::automaton_base > automaton
Definition: automaton.hh:71
automaton minimize(const automaton &aut, const std::string &algo="auto")
The minimized automaton.
Definition: minimize.cc:13
automaton cominimize(const automaton &aut, const std::string &algo="auto")
The cominimized automaton.
Definition: minimize.cc:27
automaton reduce(const automaton &aut)
Reduce aut.
Definition: minimize.cc:20