![]() |
Vcsn
2.3a
Be Rational
|
#include <has-bounded-lag.hh>
Public Member Functions | |
bounded_lag_checker (const automaton_t &aut) | |
The vectors are indexed by the state number. More... | |
template<std::size_t... I> | |
void | add_delay (delay_t &d, transition_t tr, seq< I... >) |
Add the delay from the transition's label to the given delay. More... | |
void | add_delay (delay_t &d, transition_t tr) |
bool | has_bounded_lag (state_t src) |
Depth-first search. More... | |
bool | has_bounded_lag () |
Static Public Member Functions | |
template<std::size_t I> | |
static int | get_size_tape (label_t l) |
Get the size (number of letters) of a label on a specific tape. More... | |
Private Types | |
enum | visit_state { not_visited, visiting, visited } |
using | automaton_t = Aut |
using | state_t = state_t_of< automaton_t > |
using | labelset_t = labelset_t_of< automaton_t > |
using | label_t = typename labelset_t::value_t |
using | transition_t = transition_t_of< automaton_t > |
using | visited_t = std::vector< visit_state > |
Keep track of what states we have visited or are visiting. More... | |
template<std::size_t... I> | |
using | seq = vcsn::detail::index_sequence< I... > |
A static list of integers. More... | |
using | delay_index_t = detail::make_index_sequence< number_of_tapes-1 > |
using | delay_t = std::array< int, number_of_tapes-1 > |
The delay associated with each state. More... | |
Private Attributes | |
automaton_t | aut_ |
visited_t | v_ |
predecessors_t_of< automaton_t > | p_ |
Static Private Attributes | |
static constexpr size_t | number_of_tapes = labelset_t_of<Aut>::size() |
Definition at line 18 of file has-bounded-lag.hh.
|
private |
Definition at line 29 of file has-bounded-lag.hh.
|
private |
Definition at line 48 of file has-bounded-lag.hh.
|
private |
The delay associated with each state.
Definition at line 51 of file has-bounded-lag.hh.
|
private |
Definition at line 32 of file has-bounded-lag.hh.
|
private |
Definition at line 31 of file has-bounded-lag.hh.
|
private |
A static list of integers.
Definition at line 46 of file has-bounded-lag.hh.
|
private |
Definition at line 30 of file has-bounded-lag.hh.
|
private |
Definition at line 33 of file has-bounded-lag.hh.
|
private |
Keep track of what states we have visited or are visiting.
Definition at line 42 of file has-bounded-lag.hh.
|
private |
Enumerator | |
---|---|
not_visited | |
visiting | |
visited |
Definition at line 35 of file has-bounded-lag.hh.
|
inline |
The vectors are indexed by the state number.
Definition at line 55 of file has-bounded-lag.hh.
|
inline |
Add the delay from the transition's label to the given delay.
Definition at line 71 of file has-bounded-lag.hh.
References vcsn::detail::bounded_lag_checker< Aut >::aut_.
Referenced by vcsn::detail::bounded_lag_checker< Aut >::add_delay(), and vcsn::detail::bounded_lag_checker< Aut >::has_bounded_lag().
|
inline |
Definition at line 78 of file has-bounded-lag.hh.
References vcsn::detail::bounded_lag_checker< Aut >::add_delay().
|
inlinestatic |
Get the size (number of letters) of a label on a specific tape.
Definition at line 63 of file has-bounded-lag.hh.
References vcsn::rat::size().
|
inline |
Depth-first search.
Definition at line 84 of file has-bounded-lag.hh.
References vcsn::detail::bounded_lag_checker< Aut >::add_delay(), vcsn::detail::all_out(), vcsn::detail::bounded_lag_checker< Aut >::aut_, vcsn::detail::bounded_lag_checker< Aut >::has_bounded_lag(), vcsn::detail::bounded_lag_checker< Aut >::not_visited, vcsn::detail::bounded_lag_checker< Aut >::p_, vcsn::detail::bounded_lag_checker< Aut >::v_, vcsn::detail::bounded_lag_checker< Aut >::visited, and vcsn::detail::bounded_lag_checker< Aut >::visiting.
Referenced by vcsn::has_bounded_lag().
|
inline |
Definition at line 128 of file has-bounded-lag.hh.
References vcsn::detail::bounded_lag_checker< Aut >::aut_.
Referenced by vcsn::detail::bounded_lag_checker< Aut >::has_bounded_lag().
|
private |
Definition at line 134 of file has-bounded-lag.hh.
Referenced by vcsn::detail::bounded_lag_checker< Aut >::add_delay(), and vcsn::detail::bounded_lag_checker< Aut >::has_bounded_lag().
|
staticprivate |
Definition at line 22 of file has-bounded-lag.hh.
|
private |
Definition at line 136 of file has-bounded-lag.hh.
Referenced by vcsn::detail::bounded_lag_checker< Aut >::has_bounded_lag().
|
private |
Definition at line 135 of file has-bounded-lag.hh.
Referenced by vcsn::detail::bounded_lag_checker< Aut >::has_bounded_lag().