vcsn::detail::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>

Collaboration diagram for vcsn::detail::nullable_helper< letterset< GenSet > >:

Public Types
using	labelset_t = letterset< GenSet >
using	genset_t = GenSet
using	null = nullableset< labelset_t >
using	value_t = typename labelset_t::value_t
using	kind_t = labels_are_nullable

Static Public Member Functions
static null	make (std::istream &is)
static ATTRIBUTE_PURE constexpr null::value_t	special ()
static ATTRIBUTE_PURE constexpr null::value_t	one ()
static ATTRIBUTE_PURE bool	is_one (value_t 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)

Detailed Description

template<typename GenSet>
struct vcsn::detail::nullable_helper< letterset< GenSet > >

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

Definition at line 100 of file nullableset.hh.

Member Typedef Documentation

template<typename GenSet >

using vcsn::detail::nullable_helper< letterset< GenSet > >::genset_t = GenSet

Definition at line 103 of file nullableset.hh.

template<typename GenSet >

using vcsn::detail::nullable_helper< letterset< GenSet > >::kind_t = labels_are_nullable

Definition at line 106 of file nullableset.hh.

template<typename GenSet >

using vcsn::detail::nullable_helper< letterset< GenSet > >::labelset_t = letterset<GenSet>

Definition at line 102 of file nullableset.hh.

template<typename GenSet >

using vcsn::detail::nullable_helper< letterset< GenSet > >::null = nullableset<labelset_t>

Definition at line 104 of file nullableset.hh.

template<typename GenSet >

using vcsn::detail::nullable_helper< letterset< GenSet > >::value_t = typename labelset_t::value_t

Definition at line 105 of file nullableset.hh.

Member Function Documentation

template<typename GenSet >

static ATTRIBUTE_PURE labelset_t::value_t vcsn::detail::nullable_helper< letterset< GenSet > >::get_value ( const value_t &  v )

inlinestatic

Definition at line 162 of file nullableset.hh.

template<typename GenSet >

static ATTRIBUTE_PURE bool vcsn::detail::nullable_helper< letterset< GenSet > >::is_one ( value_t  l )

inlinestatic

Definition at line 148 of file nullableset.hh.

References vcsn::detail::nullable_helper< LabelSet >::one().

Here is the call graph for this function:

template<typename GenSet >

static null vcsn::detail::nullable_helper< letterset< GenSet > >::make ( std::istream &  is )

inlinestatic

Definition at line 109 of file nullableset.hh.

References vcsn::eat(), and vcsn::nullableset< LabelSet >::make_nullableset_kind().

Here is the call graph for this function:

template<typename GenSet >

static ATTRIBUTE_PURE constexpr null::value_t vcsn::detail::nullable_helper< letterset< GenSet > >::one ( )

inlinestatic

Definition at line 141 of file nullableset.hh.

template<typename GenSet >

static ATTRIBUTE_PURE constexpr null::value_t vcsn::detail::nullable_helper< letterset< GenSet > >::special ( )

inlinestatic

Definition at line 134 of file nullableset.hh.

template<typename GenSet >

template<typename... Args>

static value_t vcsn::detail::nullable_helper< letterset< GenSet > >::value ( const labelset_t &  ls, Args &&...  args  )

inlinestatic

Definition at line 155 of file nullableset.hh.

References vcsn::letterset< GenSet >::value().

Here is the call graph for this function:

---

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

• vcsn/labelset/nullableset.hh