![]() |
Vcsn
2.1
Be Rational
|
#include <has-bounded-lag.hh>
Public Member Functions | |
bounded_lag_checker (const automaton_t &aut) | |
template<std::size_t I> | |
int | get_size_tape (label_t l) |
template<std::size_t... I> | |
void | add_delay (delay_t &d, transition_t tr, seq< I...>) |
void | add_delay (delay_t &d, transition_t tr) |
bool | has_bounded_lag (state_t src) |
bool | has_bounded_lag () |
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 > |
using | parent_state_t = std::vector< transition_t > |
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_ |
parent_state_t | p_ |
Static Private Attributes | |
static constexpr size_t | number_of_tapes = labelset_t_of<Aut>::size() |
Definition at line 19 of file has-bounded-lag.hh.
|
private |
Definition at line 28 of file has-bounded-lag.hh.
|
private |
Definition at line 52 of file has-bounded-lag.hh.
|
private |
The delay associated with each state.
Definition at line 55 of file has-bounded-lag.hh.
|
private |
Definition at line 31 of file has-bounded-lag.hh.
|
private |
Definition at line 30 of file has-bounded-lag.hh.
|
private |
Definition at line 46 of file has-bounded-lag.hh.
|
private |
A static list of integers.
Definition at line 50 of file has-bounded-lag.hh.
|
private |
Definition at line 29 of file has-bounded-lag.hh.
|
private |
Definition at line 32 of file has-bounded-lag.hh.
|
private |
Definition at line 43 of file has-bounded-lag.hh.
|
private |
Enumerator | |
---|---|
NOT_VISITED | |
VISITING | |
VISITED |
Definition at line 36 of file has-bounded-lag.hh.
|
inline |
Definition at line 60 of file has-bounded-lag.hh.
|
inline |
Definition at line 75 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 82 of file has-bounded-lag.hh.
References vcsn::detail::bounded_lag_checker< Aut >::add_delay().
|
inline |
Definition at line 67 of file has-bounded-lag.hh.
References vcsn::rat::size().
|
inline |
Definition at line 88 of file has-bounded-lag.hh.
References vcsn::detail::bounded_lag_checker< Aut >::add_delay(), 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 126 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 132 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 34 of file has-bounded-lag.hh.
|
private |
Definition at line 134 of file has-bounded-lag.hh.
Referenced by vcsn::detail::bounded_lag_checker< Aut >::has_bounded_lag().
|
private |
Definition at line 133 of file has-bounded-lag.hh.
Referenced by vcsn::detail::bounded_lag_checker< Aut >::has_bounded_lag().