Vcsn  2.3
Be Rational
proper.hh File Reference
#include <stdexcept>
#include <type_traits>
#include <utility>
#include <vcsn/algos/copy.hh>
#include <vcsn/algos/epsilon-remover-distance.hh>
#include <vcsn/algos/epsilon-remover-lazy.hh>
#include <vcsn/algos/epsilon-remover-separate.hh>
#include <vcsn/algos/epsilon-remover.hh>
#include <vcsn/algos/fwd.hh>
#include <vcsn/algos/is-proper.hh>
#include <vcsn/algos/is-valid.hh>
#include <vcsn/core/kind.hh>
#include <vcsn/misc/builtins.hh>
#include <vcsn/misc/direction.hh>
#include <vcsn/misc/getargs.hh>
#include <vcsn/misc/star-status.hh>
Include dependency graph for proper.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  vcsn::detail::properer< Aut >
 Spontaneous transition elimination. More...
 

Namespaces

 vcsn
 
 vcsn::detail
 
 vcsn::dyn
 
 vcsn::dyn::detail
 

Functions

template<Automaton Aut>
auto vcsn::detail::make_properer (Aut aut, bool prune=true, const std::string &algo="auto")
 
template<Automaton Aut>
auto vcsn::proper (const Aut &aut, direction dir=direction::backward, bool prune=true, const std::string &algo="auto") -> fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut >>>
 Eliminate spontaneous transitions. More...
 
template<Automaton Aut>
auto vcsn::proper_lazy (const Aut &aut, direction dir=direction::backward, bool prune=true) -> lazy_proper_automaton< Aut >
 
template<Automaton Aut>
void vcsn::proper_here (Aut &aut, direction dir=direction::backward, bool prune=true, const std::string &algo="auto")
 Eliminate spontaneous transitions in place. More...
 
template<Automaton Aut, typename Dir , typename Bool , typename String >
automaton vcsn::dyn::detail::proper (const automaton &aut, direction dir, bool prune, const std::string &algo)
 Bridge. More...