![]() |
Vcsn
2.3a
Be Rational
|
Add support for an empty word to a letterset thanks to the one() of its genset. More...
#include <nullableset.hh>
Public Types | |
using | genset_t = GenSet |
using | labelset_t = letterset< genset_t > |
using | value_t = typename labelset_t::value_t |
Static Public Member Functions | |
static ATTRIBUTE_PURE constexpr value_t | special () |
static ATTRIBUTE_PURE constexpr value_t | one () |
static ATTRIBUTE_PURE bool | is_one (value_t l) |
template<typename Value > | |
static Value | transpose (const labelset_t &ls, const Value &l) |
template<typename... Args> | |
static value_t | value (const labelset_t &ls, Args &&...args) |
static ATTRIBUTE_PURE value_t | get_value (const value_t &v) |
Add support for an empty word to a letterset thanks to the one() of its genset.
GenSet | the GenSet of the LabelSet to which we want to add nullable support (i.e., letterset<GenSet>). |
Definition at line 106 of file nullableset.hh.
using vcsn::detail::nullable_helper< letterset< GenSet > >::genset_t = GenSet |
Definition at line 108 of file nullableset.hh.
using vcsn::detail::nullable_helper< letterset< GenSet > >::labelset_t = letterset<genset_t> |
Definition at line 109 of file nullableset.hh.
using vcsn::detail::nullable_helper< letterset< GenSet > >::value_t = typename labelset_t::value_t |
Definition at line 110 of file nullableset.hh.
|
inlinestatic |
Definition at line 149 of file nullableset.hh.
References vcsn::detail::v.
|
inlinestatic |
Definition at line 128 of file nullableset.hh.
References vcsn::detail::nullable_helper< LabelSet >::one().
|
inlinestatic |
Definition at line 121 of file nullableset.hh.
|
inlinestatic |
Definition at line 114 of file nullableset.hh.
|
inlinestatic |
Definition at line 135 of file nullableset.hh.
References vcsn::detail::genset_labelset< GenSet >::transpose().
|
inlinestatic |
Definition at line 142 of file nullableset.hh.
References vcsn::letterset< GenSet >::value().