Awali
Another Weighted Automata library
|
specialisation of labelset_trait for tupleset More...
#include <traits.hh>
Public Types | |
using | not_nullable_t = self_t |
using | nullable_t = tupleset< typename labelset_trait< Ts >::nullable_t... > |
using | ratlabelset_t = self_t |
using | self_t = tupleset< Ts... > |
using | wordset_t = tupleset< typename labelset_trait< Ts >::wordset_t... > |
Static Public Member Functions | |
static not_nullable_t const & | get_not_nullableset (const self_t &ls) |
static nullable_t | get_nullableset (const self_t &ls) |
template<std::size_t... I> | |
static nullable_t | get_nullableset (const self_t &ls, awali::internal::index_sequence< I... >) |
static const ratlabelset_t & | get_ratlabelset (const self_t &ls) |
static wordset_t | get_wordset (const self_t &ls) |
template<std::size_t... I> | |
static wordset_t | get_wordset (const self_t &ls, awali::internal::index_sequence< I... >) |
specialisation of labelset_trait for tupleset
using awali::sttc::labelset_trait< tupleset< Ts... > >::not_nullable_t = self_t |
using awali::sttc::labelset_trait< tupleset< Ts... > >::nullable_t = tupleset<typename labelset_trait<Ts>::nullable_t...> |
using awali::sttc::labelset_trait< tupleset< Ts... > >::ratlabelset_t = self_t |
using awali::sttc::labelset_trait< tupleset< Ts... > >::self_t = tupleset<Ts...> |
using awali::sttc::labelset_trait< tupleset< Ts... > >::wordset_t = tupleset<typename labelset_trait<Ts>::wordset_t...> |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |