Vcsn  2.2
Be Rational
Public Types | Static Public Member Functions | List of all members
vcsn::detail::nullable_helper< LabelSet > Struct Template Reference

Add support for an empty word to a LabelSet that does not provide such special label to this end. More...

#include <nullableset.hh>

Collaboration diagram for vcsn::detail::nullable_helper< LabelSet >:

Public Types

using labelset_t = LabelSet
 
using value_t = std::pair< typename labelset_t::value_t, bool >
 

Static Public Member Functions

static ATTRIBUTE_PURE constexpr value_t one ()
 
static ATTRIBUTE_PURE constexpr value_t special ()
 
template<typename Ls >
static ATTRIBUTE_PURE std::enable_if_t< Ls::has_one(), bool > is_one_ (const value_t &l)
 
template<typename Ls >
static ATTRIBUTE_PURE std::enable_if_t<!Ls::has_one(), bool > is_one_ (const value_t &l)
 
static ATTRIBUTE_PURE bool is_one (const value_t &l)
 
template<typename Value >
static Value transpose (const labelset_t &ls, Value 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 LabelSet>
struct vcsn::detail::nullable_helper< LabelSet >

Add support for an empty word to a LabelSet that does not provide such special label to this end.

Template Parameters
LabelSetthe LabelSet to which we want to add nullable support (e.g., a letterset<>).

Definition at line 28 of file nullableset.hh.

Member Typedef Documentation

template<typename LabelSet >
using vcsn::detail::nullable_helper< LabelSet >::labelset_t = LabelSet

Definition at line 30 of file nullableset.hh.

template<typename LabelSet >
using vcsn::detail::nullable_helper< LabelSet >::value_t = std::pair<typename labelset_t::value_t, bool>

Definition at line 31 of file nullableset.hh.

Member Function Documentation

template<typename LabelSet >
static ATTRIBUTE_PURE labelset_t::value_t vcsn::detail::nullable_helper< LabelSet >::get_value ( const value_t &  v)
inlinestatic

Definition at line 92 of file nullableset.hh.

References vcsn::detail::v.

Referenced by vcsn::detail::nullable_helper< LabelSet >::is_one_(), and vcsn::detail::nullable_helper< LabelSet >::transpose().

template<typename LabelSet >
static ATTRIBUTE_PURE bool vcsn::detail::nullable_helper< LabelSet >::is_one ( const value_t &  l)
inlinestatic

Definition at line 65 of file nullableset.hh.

Referenced by vcsn::nullableset< LabelSet >::is_one(), and vcsn::detail::nullable_helper< LabelSet >::transpose().

template<typename LabelSet >
template<typename Ls >
static ATTRIBUTE_PURE std::enable_if_t<Ls::has_one(), bool> vcsn::detail::nullable_helper< LabelSet >::is_one_ ( const value_t &  l)
inlinestatic

Definition at line 50 of file nullableset.hh.

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

Here is the call graph for this function:

template<typename LabelSet >
template<typename Ls >
static ATTRIBUTE_PURE std::enable_if_t<!Ls::has_one(), bool> vcsn::detail::nullable_helper< LabelSet >::is_one_ ( const value_t &  l)
inlinestatic

Definition at line 58 of file nullableset.hh.

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

Definition at line 35 of file nullableset.hh.

Referenced by vcsn::detail::nullable_helper< letterset< GenSet > >::is_one(), and vcsn::nullableset< LabelSet >::one().

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

Definition at line 42 of file nullableset.hh.

Referenced by vcsn::nullableset< LabelSet >::special().

template<typename LabelSet >
template<typename Value >
static Value vcsn::detail::nullable_helper< LabelSet >::transpose ( const labelset_t &  ls,
Value  l 
)
inlinestatic

Definition at line 72 of file nullableset.hh.

References vcsn::detail::nullable_helper< LabelSet >::get_value(), and vcsn::detail::nullable_helper< LabelSet >::is_one().

Referenced by vcsn::nullableset< LabelSet >::transpose().

Here is the call graph for this function:

template<typename LabelSet >
template<typename... Args>
static value_t vcsn::detail::nullable_helper< LabelSet >::value ( const labelset_t &  ls,
Args &&...  args 
)
inlinestatic

Definition at line 85 of file nullableset.hh.

Referenced by vcsn::nullableset< LabelSet >::value().

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