Vcsn  2.8
Be Rational
Public Types | Static Public Member Functions | Static Public Attributes | List of all members
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 1265 of file tupleset.hh.

Member Typedef Documentation

◆ indices_t

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

Definition at line 1267 of file tupleset.hh.

◆ labelset_t

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

Definition at line 1283 of file tupleset.hh.

◆ letterized_traits_t

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 1274 of file tupleset.hh.

◆ seq

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

Definition at line 1270 of file tupleset.hh.

Member Function Documentation

◆ is_letterized_()

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 1276 of file tupleset.hh.

References vcsn::detail::is_letterized().

Here is the call graph for this function:

◆ labelset()

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

Definition at line 1285 of file tupleset.hh.

◆ labelset_()

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 1291 of file tupleset.hh.

References vcsn::detail::make_letterized().

Here is the call graph for this function:

Member Data Documentation

◆ is_letterized

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

Definition at line 1280 of file tupleset.hh.

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