![]() |
Vcsn
2.1
Be Rational
|
#include <is-synchronized.hh>
Public Types | |
using | automaton_t = Aut |
using | out_automaton_t = delay_automaton< automaton_t > |
using | state_t = state_t_of< automaton_t > |
using | labelset_t = labelset_t_of< out_automaton_t > |
using | label_t = typename labelset_t::value_t |
using | delay_t = typename out_automaton_t::element_type::delay_t |
using | state_name_t = typename out_automaton_t::element_type::state_name_t |
template<size_t I> | |
using | tape_labelset_t = typename labelset_t::template valueset_t< I > |
template<std::size_t... I> | |
using | seq = vcsn::detail::index_sequence< I...> |
A static list of integers. More... | |
Public Member Functions | |
synchronize_checker (const automaton_t &aut) | |
bool | is_synchronized () |
Whether the transducer is synchronized. More... | |
out_automaton_t | make_delay_automaton () |
Private Member Functions | |
void | value_automaton () |
template<size_t... I> | |
delay_t | add_delay_ (delay_t d, const label_t &l, seq< I...>) const |
Add the delay of label l to d. More... | |
Private Attributes | |
automaton_t | in_aut_ |
out_automaton_t | out_aut_ |
Definition at line 169 of file is-synchronized.hh.
using vcsn::detail::synchronize_checker< Aut >::automaton_t = Aut |
Definition at line 175 of file is-synchronized.hh.
using vcsn::detail::synchronize_checker< Aut >::delay_t = typename out_automaton_t::element_type::delay_t |
Definition at line 180 of file is-synchronized.hh.
using vcsn::detail::synchronize_checker< Aut >::label_t = typename labelset_t::value_t |
Definition at line 179 of file is-synchronized.hh.
using vcsn::detail::synchronize_checker< Aut >::labelset_t = labelset_t_of<out_automaton_t> |
Definition at line 178 of file is-synchronized.hh.
using vcsn::detail::synchronize_checker< Aut >::out_automaton_t = delay_automaton<automaton_t> |
Definition at line 176 of file is-synchronized.hh.
using vcsn::detail::synchronize_checker< Aut >::seq = vcsn::detail::index_sequence<I...> |
A static list of integers.
Definition at line 188 of file is-synchronized.hh.
using vcsn::detail::synchronize_checker< Aut >::state_name_t = typename out_automaton_t::element_type::state_name_t |
Definition at line 181 of file is-synchronized.hh.
using vcsn::detail::synchronize_checker< Aut >::state_t = state_t_of<automaton_t> |
Definition at line 177 of file is-synchronized.hh.
using vcsn::detail::synchronize_checker< Aut >::tape_labelset_t = typename labelset_t::template valueset_t<I> |
Definition at line 184 of file is-synchronized.hh.
|
inline |
Definition at line 191 of file is-synchronized.hh.
|
inlineprivate |
Add the delay of label l to d.
Definition at line 268 of file is-synchronized.hh.
|
inline |
Whether the transducer is synchronized.
In a synchronized transducer, every state has delay 0, except for some series of states leading to a final state with ever-increasing (strictly except for one-transitions) delay.
Definition at line 202 of file is-synchronized.hh.
|
inline |
Definition at line 228 of file is-synchronized.hh.
|
inlineprivate |
Definition at line 241 of file is-synchronized.hh.
|
private |
Definition at line 276 of file is-synchronized.hh.
|
private |
Definition at line 277 of file is-synchronized.hh.