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