Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
proper.cc
Go to the documentation of this file.
1 #include <vcsn/core/mutable-automaton.hh>
2 #include <vcsn/algos/proper.hh>
3 #include <vcsn/dyn/algos.hh>
4 #include <lib/vcsn/algos/registry.hh>
5 
6 namespace vcsn
7 {
8 
9  namespace dyn
10  {
11  REGISTER_DEFINE(proper);
12  automaton
13  proper(const automaton& aut, direction dir, bool prune)
14  {
15  return detail::proper_registry().call(aut, dir, prune);
16  }
17  }
18 }
vcsn::dyn::proper
automaton proper(const automaton &aut, direction dir=direction::backward, bool prune=true)
An equivalent automaton without spontaneous transitions.
Definition: proper.cc:13
vcsn::dyn::automaton
std::shared_ptr< detail::automaton_base > automaton
Definition: automaton.hh:71
vcsn::direction
direction
Orientation.
Definition: direction.hh:10