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	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)
static auto	generators (const labelset_t &ls)
static auto	pregenerators (const labelset_t &ls)

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.

Template Parameters

GenSet

the GenSet of the LabelSet to which we want to add nullable support (i.e., letterset<GenSet>).

Definition at line 116 of file nullableset.hh.

Member Typedef Documentation

genset_t

template<typename GenSet >

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

Definition at line 118 of file nullableset.hh.

labelset_t

template<typename GenSet >

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

Definition at line 119 of file nullableset.hh.

value_t

template<typename GenSet >

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

Definition at line 120 of file nullableset.hh.

Member Function Documentation

generators()

template<typename GenSet >

static auto vcsn::detail::nullable_helper< letterset< GenSet > >::generators ( const labelset_t &  ls )

inlinestatic

Definition at line 164 of file nullableset.hh.

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

Here is the call graph for this function:

get_value()

template<typename GenSet >

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

inlinestatic

Definition at line 159 of file nullableset.hh.

References vcsn::detail::v.

is_one()

template<typename GenSet >

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

inlinestatic

Definition at line 138 of file nullableset.hh.

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

Here is the call graph for this function:

one()

template<typename GenSet >

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

inlinestatic

Definition at line 131 of file nullableset.hh.

pregenerators()

template<typename GenSet >

static auto vcsn::detail::nullable_helper< letterset< GenSet > >::pregenerators ( const labelset_t &  ls )

inlinestatic

Definition at line 169 of file nullableset.hh.

References vcsn::detail::genset_labelset< GenSet >::genset().

Here is the call graph for this function:

special()

template<typename GenSet >

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

inlinestatic

Definition at line 124 of file nullableset.hh.

transpose()

template<typename GenSet >

template<typename Value >

static Value vcsn::detail::nullable_helper< letterset< GenSet > >::transpose ( const labelset_t &  ls, const Value &  l  )

inlinestatic

Definition at line 145 of file nullableset.hh.

References vcsn::detail::genset_labelset< GenSet >::transpose().

Here is the call graph for this function:

value()

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 152 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