Vcsn  2.5.dev
Be Rational
Public Types | Static Public Member Functions | List of all members
vcsn::detail::law_traits< tupleset< LabelSets... > > Struct Template Reference

Conversion to wordset. More...

#include <tupleset.hh>

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

Public Types

using labelset_t = tupleset< LabelSets... >
 
using type = tupleset< law_t< LabelSets >... >
 

Static Public Member Functions

template<std::size_t... I>
static type value (const labelset_t &ls, index_sequence< I... >)
 
static type value (const labelset_t &ls)
 

Detailed Description

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

Conversion to wordset.

Definition at line 1314 of file tupleset.hh.

Member Typedef Documentation

◆ labelset_t

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

Definition at line 1316 of file tupleset.hh.

◆ type

template<typename... LabelSets>
using vcsn::detail::law_traits< tupleset< LabelSets... > >::type = tupleset<law_t<LabelSets>...>

Definition at line 1317 of file tupleset.hh.

Member Function Documentation

◆ value() [1/2]

template<typename... LabelSets>
template<std::size_t... I>
static type vcsn::detail::law_traits< tupleset< LabelSets... > >::value ( const labelset_t &  ls,
index_sequence< I... >   
)
inlinestatic

Definition at line 1320 of file tupleset.hh.

References vcsn::detail::make_wordset().

Here is the call graph for this function:

◆ value() [2/2]

template<typename... LabelSets>
static type vcsn::detail::law_traits< tupleset< LabelSets... > >::value ( const labelset_t &  ls)
inlinestatic

Definition at line 1325 of file tupleset.hh.

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