Vcsn  2.2
Be Rational
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)
 

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
GenSetthe GenSet of the LabelSet to which we want to add nullable support (i.e., letterset<GenSet>).

Definition at line 105 of file nullableset.hh.

Member Typedef Documentation

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

Definition at line 107 of file nullableset.hh.

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

Definition at line 108 of file nullableset.hh.

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

Definition at line 109 of file nullableset.hh.

Member Function Documentation

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

Definition at line 148 of file nullableset.hh.

References vcsn::detail::v.

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

Definition at line 127 of file nullableset.hh.

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

Here is the call graph for this function:

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

Definition at line 120 of file nullableset.hh.

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

Definition at line 113 of file nullableset.hh.

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 134 of file nullableset.hh.

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

Here is the call graph for this function:

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 141 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: