Vcsn  2.1
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<typename 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<typename 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<typename 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<typename 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<typename 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<typename 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<typename 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: