standard.hh File Reference

#include <set>
#include <vcsn/algos/copy.hh>
#include <vcsn/algos/transpose.hh>
#include <vcsn/core/mutable-automaton.hh>
#include <vcsn/core/rat/visitor.hh>
#include <vcsn/ctx/fwd.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/ratexp.hh>
#include <vcsn/misc/memory.hh>
#include <vcsn/misc/raise.hh>

Include dependency graph for standard.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	vcsn::rat::standard_visitor< Aut, RatExpSet >
	Build a standard automaton from a ratexp. More...

Namespaces
	vcsn
	vcsn::dyn
	FIXME: duplicate code with determinize.
	vcsn::dyn::detail
	vcsn::rat

Functions
template<typename Aut >
bool	vcsn::is_standard (const Aut &a)
	Whether a is standard. More...
template<typename Aut >
bool	vcsn::is_costandard (const Aut &a)
	Whether a is costandard. More...
template<typename Aut >
bool	vcsn::dyn::detail::is_standard (const automaton &aut)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (is_standard,(const automaton &e) -> bool)
template<typename Aut >
bool	vcsn::dyn::detail::is_costandard (const automaton &aut)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (is_costandard,(const automaton &e) -> bool)
template<typename Aut >
void	vcsn::standard_here (Aut &aut)
	Turn aut into a standard automaton. More...
template<typename Aut >
auto	vcsn::standard (const Aut &aut) -> decltype(copy(aut))
template<typename Aut >
auto	vcsn::costandard (const Aut &aut) -> decltype(copy(aut))
template<typename Aut >
automaton	vcsn::dyn::detail::standard (const automaton &aut)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (standard,(const automaton &e) -> automaton)
template<typename Aut >
automaton	vcsn::dyn::detail::costandard (const automaton &aut)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (costandard,(const automaton &e) -> automaton)
template<typename Aut , typename RatExpSet >
Aut	vcsn::standard (const RatExpSet &rs, const typename RatExpSet::value_t &r)
	Build a standard automaton from a ratexp. More...
template<typename RatExpSet >
automaton	vcsn::dyn::detail::standard_ratexp (const ratexp &exp)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (standard_ratexp,(const ratexp &e) -> automaton)