![]() |
Vcsn
2.4
Be Rational
|
From a labelset, its non-nullable labelset. More...
#include <labelset.hh>
Public Types | |
using | type = LabelSet |
Static Public Member Functions | |
static type | value (const LabelSet &ls) |
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 183 of file labelset.hh.
using vcsn::detail::proper_traits< LabelSet >::type = LabelSet |
Definition at line 185 of file labelset.hh.
|
inlinestatic |
Definition at line 186 of file labelset.hh.
Referenced by vcsn::detail::make_proper().