automaton.hh File Reference

#include <vector>
#include <vcsn/concepts/automaton.hh>
#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

Typedefs
template<typename Aut >
using	vcsn::predecessors_t_of = std::vector< transition_t_of< Aut >>
	A state-indexed vector of predecessor transitions from the path path. More...
template<typename Aut >
using	vcsn::path_t_of = std::vector< transition_t_of< Aut >>
	A list of transitions representing a path. More...

Functions
template<Automaton Aut>
size_t	vcsn::detail::states_size (const Aut &aut)
	The largest state number, plus one. More...
template<Automaton Aut>
size_t	vcsn::detail::transitions_size (const Aut &aut)
	The largest transition number, plus one. More...
template<Automaton Aut>
auto	vcsn::detail::all_out (const Aut &aut, state_t_of< Aut > s)
	Indexes of transitions leaving state s. More...
template<Automaton 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<Automaton Aut>
auto	vcsn::detail::out (const Aut &aut, state_t_of< Aut > s)
	Indexes of visible transitions leaving state s. More...
template<Automaton 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<Automaton Aut>
auto	vcsn::detail::all_in (const Aut &aut, state_t_of< Aut > s)
	Indexes of transitions entering state s. More...
template<Automaton 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<Automaton Aut>
auto	vcsn::detail::in (const Aut &aut, state_t_of< Aut > s)
	Indexes of visible transitions arriving to state s. More...
template<Automaton 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<Automaton Aut>
auto	vcsn::detail::initial_transitions (const Aut &aut) -> decltype(aut->all_out(aut->pre()))
	Indexes of transitions to (visible) initial states. More...
template<Automaton Aut>
auto	vcsn::detail::final_transitions (const Aut &aut) -> decltype(aut->all_in(aut->post()))
	Indexes of transitions from (visible) final states. More...
template<Automaton 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<Automaton 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<Automaton Aut>
auto	vcsn::detail::all_transitions (const Aut &aut)
	All the transition indexes between all states (including pre and post). More...
template<Automaton 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<Automaton 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<Automaton Aut>
auto	vcsn::detail::transitions (const Aut &aut) -> decltype(all_transitions(aut, is_special_t< Aut >
	All the transition indexes between visible states. More...