18 template <Automaton Aut>
22 "has_bounded_lag: automaton labelset must be a tupleset");
26 "has_bounded_lag: transducer labelset must have at least 2 tapes");
31 using label_t =
typename labelset_t::value_t;
49 template <std::size_t... I>
55 using delay_t = std::array<int, number_of_tapes - 1>;
66 template <std::
size_t I>
69 using tape_labelset_t =
typename labelset_t::template valueset_t<I>;
74 template <std::size_t... I>
78 int i0 = get_size_tape<0>(l);
79 d = {(d[I] + i0 - get_size_tape<I + 1>(l))...};
94 auto visited =
v_[dst];
111 while (
aut_->src_of(t) != dst)
147 template <Automaton Aut>
159 template <Automaton Aut>
typename detail::context_t_of_impl< base_t< ValueSet >>::type context_t_of
static constexpr size_t number_of_tapes
std::array< int, number_of_tapes-1 > delay_t
The delay associated with each state.
bool has_bounded_lag(state_t src)
bool has_bounded_lag(const automaton &aut)
Bridge.
bool has_bounded_lag(const Aut &aut)
Whether a transducer has a bounded lag.
typename detail::transition_t_of_impl< base_t< ValueSet >>::type transition_t_of
std::vector< visit_state > visited_t
int get_size_tape(label_t l)
Container::value_type back(const Container &container)
The last member of this Container.
void add_delay(delay_t &d, transition_t tr)
auto all_out(const Aut &aut, state_t_of< Aut > s)
Indexes of transitions leaving state s.
std::vector< transition_t > parent_state_t
typename labelset_t::value_t label_t
bounded_lag_checker(const automaton_t &aut)
labelset_t_of< automaton_t > labelset_t
void add_delay(delay_t &d, transition_t tr, seq< I... >)
state_t_of< automaton_t > state_t
typename detail::state_t_of_impl< base_t< ValueSet >>::type state_t_of
size_t size(const ExpSet &rs, const typename ExpSet::value_t &r)
auto & as()
Extract wrapped typed automaton.
typename detail::labelset_t_of_impl< base_t< ValueSet >>::type labelset_t_of
transition_t_of< automaton_t > transition_t