Vcsn  2.2a
Be Rational
vcsn::detail::letterized_traits< tupleset< LabelSets... > > Struct Template Reference

Conversion to letterized. More...

#include <tupleset.hh>

Collaboration diagram for vcsn::detail::letterized_traits< tupleset< LabelSets... > >:

Public Types

using indices_t = make_index_sequence< sizeof...(LabelSets)>
 
template<std::size_t... I>
using seq = index_sequence< I... >
 
template<size_t I>
using letterized_traits_t = letterized_traits< tuple_element_t< I, std::tuple< LabelSets... >>>
 
using labelset_t = tupleset< typename letterized_traits< LabelSets >::labelset_t... >
 

Static Public Member Functions

template<std::size_t... I>
static constexpr bool is_letterized_ (seq< I... >)
 
static labelset_t labelset (const tupleset< LabelSets... > &ls)
 
template<std::size_t... I>
static labelset_t labelset_ (const tupleset< LabelSets... > &ls, seq< I... >)
 

Static Public Attributes

static constexpr bool is_letterized = is_letterized_(indices_t{})
 

Detailed Description

template<typename... LabelSets>
struct vcsn::detail::letterized_traits< tupleset< LabelSets... > >

Conversion to letterized.

Definition at line 1098 of file tupleset.hh.

Member Typedef Documentation

template<typename... LabelSets>
using vcsn::detail::letterized_traits< tupleset< LabelSets... > >::indices_t = make_index_sequence<sizeof...(LabelSets)>

Definition at line 1100 of file tupleset.hh.

template<typename... LabelSets>
using vcsn::detail::letterized_traits< tupleset< LabelSets... > >::labelset_t = tupleset<typename letterized_traits<LabelSets>::labelset_t...>

Definition at line 1116 of file tupleset.hh.

template<typename... LabelSets>
template<size_t I>
using vcsn::detail::letterized_traits< tupleset< LabelSets... > >::letterized_traits_t = letterized_traits<tuple_element_t<I, std::tuple<LabelSets...>>>

Definition at line 1107 of file tupleset.hh.

template<typename... LabelSets>
template<std::size_t... I>
using vcsn::detail::letterized_traits< tupleset< LabelSets... > >::seq = index_sequence<I...>

Definition at line 1103 of file tupleset.hh.

Member Function Documentation

template<typename... LabelSets>
template<std::size_t... I>
static constexpr bool vcsn::detail::letterized_traits< tupleset< LabelSets... > >::is_letterized_ ( seq< I... >  )
inlinestatic

Definition at line 1109 of file tupleset.hh.

References vcsn::detail::is_letterized().

Here is the call graph for this function:

template<typename... LabelSets>
static labelset_t vcsn::detail::letterized_traits< tupleset< LabelSets... > >::labelset ( const tupleset< LabelSets... > &  ls)
inlinestatic

Definition at line 1118 of file tupleset.hh.

template<typename... LabelSets>
template<std::size_t... I>
static labelset_t vcsn::detail::letterized_traits< tupleset< LabelSets... > >::labelset_ ( const tupleset< LabelSets... > &  ls,
seq< I... >   
)
inlinestatic

Definition at line 1124 of file tupleset.hh.

References vcsn::detail::make_letterized().

Here is the call graph for this function:

Member Data Documentation

template<typename... LabelSets>
constexpr bool vcsn::detail::letterized_traits< tupleset< LabelSets... > >::is_letterized = is_letterized_(indices_t{})
static

Definition at line 1113 of file tupleset.hh.


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