proper.hh File Reference

#include <stdexcept>
#include <type_traits>
#include <unordered_map>
#include <unordered_set>
#include <utility>
#include <vector>
#include <boost/lexical_cast.hpp>
#include <boost/heap/fibonacci_heap.hpp>
#include <vcsn/algos/copy.hh>
#include <vcsn/algos/dot.hh>
#include <vcsn/algos/fwd.hh>
#include <vcsn/algos/is-eps-acyclic.hh>
#include <vcsn/algos/is-proper.hh>
#include <vcsn/algos/is-valid.hh>
#include <vcsn/core/kind.hh>
#include <vcsn/labelset/labelset.hh>
#include <vcsn/misc/attributes.hh>
#include <vcsn/misc/builtins.hh>
#include <vcsn/misc/direction.hh>
#include <vcsn/misc/star-status.hh>
#include <vcsn/misc/vector.hh>
#include <vcsn/algos/epsilon-remover.hh>
#include <vcsn/algos/epsilon-remover-separate.hh>
#include <vcsn/algos/epsilon-remover-distance.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 >

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

Functions
template<typename Aut >
auto	vcsn::detail::make_properer (Aut aut, bool prune=true, const std::string &algo="auto")
template<typename 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<typename 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...