Awali
Another Weighted Automata library
|
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 | kind_t = labels_are_nullable |
using | labelset_t = letterset< GenSet > |
using | null = nullableset< labelset_t > |
using | value_t = typename labelset_t::value_t |
Static Public Member Functions | |
static ATTRIBUTE_PURE labelset_t::value_t | get_value (const value_t &v) |
static ATTRIBUTE_PURE bool | is_one (value_t l) |
static null | make (std::istream &is) |
static constexpr ATTRIBUTE_PURE null::value_t | one () |
static constexpr ATTRIBUTE_PURE null::value_t | special () |
template<typename... Args> | |
static value_t | value (const labelset_t &ls, Args &&... args) |
Add support for an empty word to a letterset thanks to the one() of its genset.
using awali::sttc::internal::nullable_helper< letterset< GenSet > >::genset_t = GenSet |
using awali::sttc::internal::nullable_helper< letterset< GenSet > >::kind_t = labels_are_nullable |
using awali::sttc::internal::nullable_helper< letterset< GenSet > >::labelset_t = letterset<GenSet> |
using awali::sttc::internal::nullable_helper< letterset< GenSet > >::null = nullableset<labelset_t> |
using awali::sttc::internal::nullable_helper< letterset< GenSet > >::value_t = typename labelset_t::value_t |
|
static |
|
static |
|
static |
|
staticconstexpr |
|
staticconstexpr |
|
static |