Vcsn  2.2a
Be Rational
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 192 of file labelset.hh.

Member Typedef Documentation

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

Definition at line 194 of file labelset.hh.

Member Function Documentation

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

Definition at line 195 of file labelset.hh.

Referenced by vcsn::detail::make_proper().

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