fwd.hh File Reference

#include <memory>
#include <set>
#include <vcsn/core/rat/fwd.hh>

Include dependency graph for fwd.hh:

Go to the source code of this file.

Classes
class	vcsn::detail::delay_automaton_impl< Aut >
	An automaton whose states may be qualified by delays and/or prefixes. More...
class	vcsn::detail::focus_automaton_impl< Tape, Aut >
	Read-write on an automaton, that hides all tapes but one. More...
class	vcsn::detail::synchronized_automaton_impl< Aut >
	An automaton whose states may be qualified by delays and/or prefixes. 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<typename Aut >
using	vcsn::delay_automaton = std::shared_ptr< detail::delay_automaton_impl< Aut >>
	An automaton wrapper that presents the delay automaton. More...
template<std::size_t Tape, typename Aut >
using	vcsn::focus_automaton = std::shared_ptr< detail::focus_automaton_impl< Tape, Aut >>
	A focus automaton as a shared pointer. More...
template<typename Aut >
using	vcsn::synchronized_automaton = std::shared_ptr< detail::synchronized_automaton_impl< Aut >>
	An automaton wrapper that presents the synchronized automaton. 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...
using	vcsn::letter_class_t = std::set< std::pair< std::string, std::string >>
	A set of letter ranges. More...

Functions
template<unsigned Tape, typename Aut >
focus_automaton< Tape, Aut >	vcsn::focus (Aut aut)
template<typename Aut >
bool	vcsn::in_situ_remover (Aut &aut, bool prune=true)
template<typename Aut >
size_t	vcsn::detail_info::num_eps_transitions (const Aut &)
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 ExpSet >
bool	vcsn::is_valid (const ExpSet &rs, const typename ExpSet::value_t &e)
	Whether e has only computable stars. More...
template<typename ExpSet >
rat::expansionset< ExpSet >::value_t	vcsn::to_expansion (const ExpSet &rs, const typename ExpSet::value_t &e)
	First order expansion. More...