Awali
Another Weighted Automata library
Public Types | Static Public Member Functions
awali::sttc::internal::nullable_helper< letterset< GenSet > > Struct Template Reference

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)
 

Detailed Description

template<typename GenSet>
struct awali::sttc::internal::nullable_helper< letterset< GenSet > >

Add support for an empty word to a letterset thanks to the one() of its genset.

Member Typedef Documentation

◆ genset_t

template<typename GenSet >
using awali::sttc::internal::nullable_helper< letterset< GenSet > >::genset_t = GenSet

◆ kind_t

template<typename GenSet >
using awali::sttc::internal::nullable_helper< letterset< GenSet > >::kind_t = labels_are_nullable

◆ labelset_t

template<typename GenSet >
using awali::sttc::internal::nullable_helper< letterset< GenSet > >::labelset_t = letterset<GenSet>

◆ null

template<typename GenSet >
using awali::sttc::internal::nullable_helper< letterset< GenSet > >::null = nullableset<labelset_t>

◆ value_t

template<typename GenSet >
using awali::sttc::internal::nullable_helper< letterset< GenSet > >::value_t = typename labelset_t::value_t

Member Function Documentation

◆ get_value()

template<typename GenSet >
static ATTRIBUTE_PURE labelset_t::value_t awali::sttc::internal::nullable_helper< letterset< GenSet > >::get_value ( const value_t v)
static

◆ is_one()

template<typename GenSet >
static ATTRIBUTE_PURE bool awali::sttc::internal::nullable_helper< letterset< GenSet > >::is_one ( value_t  l)
static

◆ make()

template<typename GenSet >
static null awali::sttc::internal::nullable_helper< letterset< GenSet > >::make ( std::istream &  is)
static

◆ one()

template<typename GenSet >
static constexpr ATTRIBUTE_PURE null::value_t awali::sttc::internal::nullable_helper< letterset< GenSet > >::one ( )
staticconstexpr

◆ special()

template<typename GenSet >
static constexpr ATTRIBUTE_PURE null::value_t awali::sttc::internal::nullable_helper< letterset< GenSet > >::special ( )
staticconstexpr

◆ value()

template<typename GenSet >
template<typename... Args>
static value_t awali::sttc::internal::nullable_helper< letterset< GenSet > >::value ( const labelset_t ls,
Args &&...  args 
)
static

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