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 )

inlinestatic

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:

• vcsn/labelset/labelset.hh