fwd.hh File Reference

#include <memory>

Include dependency graph for fwd.hh:

Go to the source code of this file.

Classes
class	vcsn::detail::blind_automaton_impl< Tape, Aut >
	Read-write on an automaton, that hides all tapes but one. More...
class	vcsn::detail::transpose_automaton_impl< Aut >
	Read-write on an automaton, that transposes everything. More...

Namespaces
	vcsn
	vcsn::detail
	vcsn::detail_info

Typedefs
template<std::size_t Tape, typename Aut >
using	vcsn::blind_automaton = std::shared_ptr< detail::blind_automaton_impl< Tape, Aut >>
	A blind automaton as a shared pointer. More...
template<typename Aut >
using	vcsn::transpose_automaton = std::shared_ptr< detail::transpose_automaton_impl< Aut >>
	An automaton wrapper that presents the transposed automaton. More...

Functions
template<typename Aut >
bool	vcsn::in_situ_remover (Aut &aut, bool prune)
	Blindly eliminate epsilon transitions without checking for the validity of the automaton. More...
template<typename Aut >
bool	vcsn::is_ambiguous (const Aut &aut)
template<typename Aut >
bool	vcsn::is_proper (const Aut &aut) ATTRIBUTE_CONST
	Test whether an automaton is proper. More...
template<typename Aut >
bool	vcsn::is_valid (const Aut &aut)
template<typename RatExpSet >
bool	vcsn::is_valid (const RatExpSet &rs, const typename RatExpSet::value_t &e)
	Whether e has only computable stars. More...
template<typename Aut >
size_t	vcsn::detail_info::num_eps_transitions (const Aut &)