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

From a labelset, its non-nullable labelset. More...

#include <labelset.hh>

Collaboration diagram for vcsn::detail::proper_traits< LabelSet >:

Public Types

using type = LabelSet
 

Static Public Member Functions

static type value (const LabelSet &ls)
 

Detailed Description

template<typename LabelSet>
struct vcsn::detail::proper_traits< LabelSet >

From a labelset, its non-nullable labelset.

Unfortunately cannot be always done. For instance, tupleset<nullableset<letterset>, nullableset<letterset>> cannot be turned in tupleset<letterset, letterset>, as it also forbids (a, \\e) and (\\e, x) which should be kept legitimate.

Definition at line 182 of file labelset.hh.

Member Typedef Documentation

◆ type

template<typename LabelSet>
using vcsn::detail::proper_traits< LabelSet >::type = LabelSet

Definition at line 184 of file labelset.hh.

Member Function Documentation

◆ value()

template<typename LabelSet>
static type vcsn::detail::proper_traits< LabelSet >::value ( const LabelSet &  ls)
inlinestatic

Definition at line 185 of file labelset.hh.

Referenced by vcsn::detail::make_proper(), and vcsn::detail::proper_traits< tupleset< LabelSet > >::value().

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