Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
vcsn::detail::nullableset_traits< tupleset< LabelSets...>, enable_if_t< tupleset< LabelSets...>::has_one()> > Struct Template Reference

Conversion to a nullableset: all the labelsets support one. More...

#include <tupleset.hh>

Collaboration diagram for vcsn::detail::nullableset_traits< tupleset< LabelSets...>, enable_if_t< tupleset< LabelSets...>::has_one()> >:

Public Types

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

Static Public Member Functions

static type value (const labelset_t &ls)
 

Detailed Description

template<typename... LabelSets>
struct vcsn::detail::nullableset_traits< tupleset< LabelSets...>, enable_if_t< tupleset< LabelSets...>::has_one()> >

Conversion to a nullableset: all the labelsets support one.

Definition at line 858 of file tupleset.hh.

Member Typedef Documentation

template<typename... LabelSets>
using vcsn::detail::nullableset_traits< tupleset< LabelSets...>, enable_if_t< tupleset< LabelSets...>::has_one()> >::labelset_t = tupleset<LabelSets...>

Definition at line 861 of file tupleset.hh.

template<typename... LabelSets>
using vcsn::detail::nullableset_traits< tupleset< LabelSets...>, enable_if_t< tupleset< LabelSets...>::has_one()> >::type = labelset_t

Definition at line 862 of file tupleset.hh.

Member Function Documentation

template<typename... LabelSets>
static type vcsn::detail::nullableset_traits< tupleset< LabelSets...>, enable_if_t< tupleset< LabelSets...>::has_one()> >::value ( const labelset_t ls)
inlinestatic

Definition at line 863 of file tupleset.hh.


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