Vcsn  2.2
Be Rational
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.