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...