Awali
Another Weighted Automata library
|
#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) |
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 |
using awali::sttc::internal::map_nullable< tupleset< Letterset, T... > >::type = typename tuple_to_tupleset<tupleT>::type |
|
static |
|
static |