Vcsn  2.3
Be Rational
Public Types | Static Public Member Functions | List of all members
vcsn::detail::worded_automaton< Aut >::worded_labelset< tupleset< LabelSet... > > Struct Template Reference

#include <synchronize.hh>

Collaboration diagram for vcsn::detail::worded_automaton< Aut >::worded_labelset< tupleset< LabelSet... > >:

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... >)
 

Detailed Description

template<Automaton Aut>
template<typename... LabelSet>
struct vcsn::detail::worded_automaton< Aut >::worded_labelset< tupleset< LabelSet... > >

Definition at line 29 of file synchronize.hh.

Member Typedef Documentation

template<Automaton Aut>
template<typename... LabelSet>
using vcsn::detail::worded_automaton< Aut >::worded_labelset< tupleset< LabelSet... > >::in_labelset_t = tupleset<LabelSet...>

Definition at line 31 of file synchronize.hh.

template<Automaton Aut>
template<typename... LabelSet>
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.

template<Automaton Aut>
template<typename... LabelSet>
using vcsn::detail::worded_automaton< Aut >::worded_labelset< tupleset< LabelSet... > >::labelset_t = tupleset<law_t<LabelSet>...>

Definition at line 32 of file synchronize.hh.

template<Automaton Aut>
template<typename... LabelSet>
template<std::size_t... I>
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.

Member Function Documentation

template<Automaton Aut>
template<typename... LabelSet>
static labelset_t vcsn::detail::worded_automaton< Aut >::worded_labelset< tupleset< LabelSet... > >::labelset ( const in_labelset_t &  ls)
inlinestatic

Definition at line 38 of file synchronize.hh.

template<Automaton Aut>
template<typename... LabelSet>
template<std::size_t... I>
static labelset_t vcsn::detail::worded_automaton< Aut >::worded_labelset< tupleset< LabelSet... > >::labelset_ ( const in_labelset_t &  ls,
seq< I... >   
)
inlinestatic

Definition at line 44 of file synchronize.hh.

References vcsn::detail::make_wordset().

Here is the call graph for this function:

The documentation for this struct was generated from the following file: