Awali
Another Weighted Automata library
Public Types | Static Public Member Functions
awali::sttc::internal::map_nullable< tupleset< Letterset, T... > > Struct Template Reference

#include <letterize_tape.hh>

Public Types

using tupleT = typename std::cons_tuple< typename labelset_trait< Letterset >::nullable_t, typename map_nullable< tupleset< T... > >::tupleT >::type
 
using type = typename tuple_to_tupleset< tupleT >::type
 

Static Public Member Functions

static type get (const tupleset< Letterset, T... > &ts)
 
static tupleT gettuple (const std::tuple< Letterset, T... > &t)
 

Member Typedef Documentation

◆ tupleT

template<typename Letterset , typename... T>
using awali::sttc::internal::map_nullable< tupleset< Letterset, T... > >::tupleT = typename std::cons_tuple<typename labelset_trait<Letterset>::nullable_t,typename map_nullable<tupleset<T...> >::tupleT>::type

◆ type

template<typename Letterset , typename... T>
using awali::sttc::internal::map_nullable< tupleset< Letterset, T... > >::type = typename tuple_to_tupleset<tupleT>::type

Member Function Documentation

◆ get()

template<typename Letterset , typename... T>
static type awali::sttc::internal::map_nullable< tupleset< Letterset, T... > >::get ( const tupleset< Letterset, T... > &  ts)
static

◆ gettuple()

template<typename Letterset , typename... T>
static tupleT awali::sttc::internal::map_nullable< tupleset< Letterset, T... > >::gettuple ( const std::tuple< Letterset, T... > &  t)
static

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