![]() |
Vcsn
2.3a
Be Rational
|
#include <synchronize.hh>
Public Types | |
using | in_labelset_t = tupleset< LabelSet... > |
using | labelset_t = tupleset< law_t< LabelSet >... > |
template<std::size_t... I> | |
using | seq = vcsn::detail::index_sequence< I... > |
A static list of integers. More... | |
using | index_t = detail::make_index_sequence< labelset_t::size()> |
Static Public Member Functions | |
static labelset_t | labelset (const in_labelset_t &ls) |
template<std::size_t... I> | |
static labelset_t | labelset_ (const in_labelset_t &ls, seq< I... >) |
Definition at line 29 of file synchronize.hh.
using vcsn::detail::worded_automaton< Aut >::worded_labelset< tupleset< LabelSet... > >::in_labelset_t = tupleset<LabelSet...> |
Definition at line 31 of file synchronize.hh.
using vcsn::detail::worded_automaton< Aut >::worded_labelset< tupleset< LabelSet... > >::index_t = detail::make_index_sequence<labelset_t::size()> |
Definition at line 36 of file synchronize.hh.
using vcsn::detail::worded_automaton< Aut >::worded_labelset< tupleset< LabelSet... > >::labelset_t = tupleset<law_t<LabelSet>...> |
Definition at line 32 of file synchronize.hh.
using vcsn::detail::worded_automaton< Aut >::worded_labelset< tupleset< LabelSet... > >::seq = vcsn::detail::index_sequence<I...> |
A static list of integers.
Definition at line 35 of file synchronize.hh.
|
inlinestatic |
Definition at line 38 of file synchronize.hh.
|
inlinestatic |
Definition at line 44 of file synchronize.hh.
References vcsn::detail::make_wordset().