![]() |
Vcsn
2.1
Be Rational
|
Add support for an empty word to a LabelSet that does not provide such special label to this end. More...
#include <nullableset.hh>
Public Types | |
using | labelset_t = LabelSet |
using | value_t = std::pair< typename labelset_t::value_t, bool > |
Static Public Member Functions | |
static ATTRIBUTE_PURE constexpr value_t | one () |
static ATTRIBUTE_PURE constexpr value_t | special () |
template<typename Ls > | |
static ATTRIBUTE_PURE vcsn::enable_if_t< Ls::has_one(), bool > | is_one_ (const value_t &l) |
template<typename Ls > | |
static ATTRIBUTE_PURE vcsn::enable_if_t<!Ls::has_one(), bool > | is_one_ (const value_t &l) |
static ATTRIBUTE_PURE bool | is_one (const value_t &l) |
template<typename Value > | |
static Value | transpose (const labelset_t &ls, Value l) |
template<typename... Args> | |
static value_t | value (const labelset_t &ls, Args &&...args) |
static ATTRIBUTE_PURE labelset_t::value_t | get_value (const value_t &v) |
Add support for an empty word to a LabelSet that does not provide such special label to this end.
LabelSet | the LabelSet to which we want to add nullable support (e.g., a letterset<>). |
Definition at line 28 of file nullableset.hh.
using vcsn::detail::nullable_helper< LabelSet >::labelset_t = LabelSet |
Definition at line 30 of file nullableset.hh.
using vcsn::detail::nullable_helper< LabelSet >::value_t = std::pair<typename labelset_t::value_t, bool> |
Definition at line 31 of file nullableset.hh.
|
inlinestatic |
Definition at line 92 of file nullableset.hh.
References vcsn::v.
Referenced by vcsn::detail::nullable_helper< LabelSet >::is_one_(), and vcsn::detail::nullable_helper< LabelSet >::transpose().
|
inlinestatic |
Definition at line 65 of file nullableset.hh.
Referenced by vcsn::nullableset< LabelSet >::is_one(), and vcsn::detail::nullable_helper< LabelSet >::transpose().
|
inlinestatic |
Definition at line 50 of file nullableset.hh.
References vcsn::detail::nullable_helper< LabelSet >::get_value().
|
inlinestatic |
Definition at line 58 of file nullableset.hh.
|
inlinestatic |
Definition at line 35 of file nullableset.hh.
Referenced by vcsn::detail::nullable_helper< letterset< GenSet > >::is_one(), and vcsn::nullableset< LabelSet >::one().
|
inlinestatic |
Definition at line 42 of file nullableset.hh.
Referenced by vcsn::nullableset< LabelSet >::special().
|
inlinestatic |
Definition at line 72 of file nullableset.hh.
References vcsn::detail::nullable_helper< LabelSet >::get_value(), and vcsn::detail::nullable_helper< LabelSet >::is_one().
Referenced by vcsn::nullableset< LabelSet >::transpose().
|
inlinestatic |
Definition at line 85 of file nullableset.hh.
Referenced by vcsn::nullableset< LabelSet >::value().