vcsn::proper_labelset< LabelSet > Struct Template Reference

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

#include <proper.hh>

Collaboration diagram for vcsn::proper_labelset< LabelSet >:

Public Types
using	type = LabelSet

Static Public Member Functions
static std::shared_ptr< const type >	value (const std::shared_ptr< const LabelSet > &ls)

Detailed Description

template<typename LabelSet>
struct vcsn::proper_labelset< 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, ) and (, x) which should be kept legitimate.

Definition at line 575 of file proper.hh.

Member Typedef Documentation

template<typename LabelSet >

using vcsn::proper_labelset< LabelSet >::type = LabelSet

Definition at line 577 of file proper.hh.

Member Function Documentation

template<typename LabelSet >

static std::shared_ptr<const type> vcsn::proper_labelset< LabelSet >::value ( const std::shared_ptr< const LabelSet > &  ls )

inlinestatic

Definition at line 579 of file proper.hh.

Referenced by vcsn::proper_context().

---

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

• vcsn/algos/proper.hh