automaton.hh File Reference

#include <vcsn/ctx/traits.hh>

Include dependency graph for automaton.hh:

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

Go to the source code of this file.

Classes
struct	vcsn::detail::is_special_t< Aut >
	Needed for GCC 5 and 6 that refuse deduced return type for transitions() when using a lambda. More...

Namespaces
	vcsn
	vcsn::detail

Macros
#define	Automaton   typename

Functions
template<typename Aut >
auto	vcsn::detail::all_out (const Aut &aut, state_t_of< Aut > s)
	Indexes of transitions leaving state s. More...
template<typename Aut , typename Pred >
auto	vcsn::detail::all_out (const Aut &aut, state_t_of< Aut > s, Pred pred)
	Indexes of transitions leaving state s that validate the predicate. More...
template<typename Aut >
auto	vcsn::detail::out (const Aut &aut, state_t_of< Aut > s)
	Indexes of visible transitions leaving state s. More...
template<typename Aut >
auto	vcsn::detail::out (const Aut &aut, state_t_of< Aut > s, label_t_of< Aut > l)
	Indexes of all transitions leaving state s on label l. More...
template<typename Aut >
auto	vcsn::detail::all_in (const Aut &aut, state_t_of< Aut > s)
	Indexes of transitions entering state s. More...
template<typename Aut , typename Pred >
auto	vcsn::detail::all_in (const Aut &aut, state_t_of< Aut > s, Pred pred)
	Indexes of transitions entering state s that validate the predicate. More...
template<typename Aut >
auto	vcsn::detail::in (const Aut &aut, state_t_of< Aut > s)
	Indexes of visible transitions arriving to state s. More...
template<typename Aut >
auto	vcsn::detail::in (const Aut &aut, state_t_of< Aut > s, label_t_of< Aut > l)
	Indexes of visible transitions arriving to state s on label l. More...
template<typename Aut >
auto	vcsn::detail::initial_transitions (const Aut &aut) -> decltype(aut->all_out(aut->pre()))
	Indexes of transitions to (visible) initial states. More...
template<typename Aut >
auto	vcsn::detail::final_transitions (const Aut &aut) -> decltype(aut->all_in(aut->post()))
	Indexes of transitions from (visible) final states. More...
template<typename Aut >
auto	vcsn::detail::outin (const Aut &aut, state_t_of< Aut > s, state_t_of< Aut > d)
	Indexes of visible transitions from state s to state d. More...
template<typename Aut >
void	vcsn::detail::del_transition (const Aut &aut, state_t_of< Aut > s, state_t_of< Aut > d)
	Remove all the transitions between s and d. More...
template<typename Aut >
auto	vcsn::detail::all_transitions (const Aut &aut)
	All the transition indexes between all states (including pre and post). More...
template<typename Aut , typename Pred >
auto	vcsn::detail::all_transitions (const Aut &aut, Pred pred)
	All the transition indexes between all states (including pre and post), that validate pred. More...
template<typename Aut >
bool	vcsn::detail::is_special (const Aut &aut, transition_t_of< Aut > t)
	Whether this transition is from pre or to post. More...
template<typename Aut >
auto	vcsn::detail::transitions (const Aut &aut) -> decltype(all_transitions(aut, is_special_t< Aut >
	All the transition indexes between visible states. More...

Macro Definition Documentation

#define Automaton   typename

Definition at line 24 of file automaton.hh.