Awali
Another Weighted Automata library
Public Types | Static Public Member Functions
awali::sttc::labelset_trait< tupleset< Ts... > > Struct Template Reference

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 const & get_nullableset (const self_t &ls, awali::internal::index_sequence< I... >)
 
static const ratlabelset_tget_ratlabelset (const self_t &ls)
 
static nullable_t get_wordset (const self_t &ls)
 
template<std::size_t... I>
static wordset_t const & get_wordset (const self_t &ls, awali::internal::index_sequence< I... >)
 

Detailed Description

template<typename... Ts>
struct awali::sttc::labelset_trait< tupleset< Ts... > >

specialisation of labelset_trait for tupleset

Member Typedef Documentation

◆ not_nullable_t

template<typename... Ts>
using awali::sttc::labelset_trait< tupleset< Ts... > >::not_nullable_t = self_t

◆ nullable_t

template<typename... Ts>
using awali::sttc::labelset_trait< tupleset< Ts... > >::nullable_t = tupleset<typename labelset_trait<Ts>::nullable_t...>

◆ ratlabelset_t

template<typename... Ts>
using awali::sttc::labelset_trait< tupleset< Ts... > >::ratlabelset_t = self_t

◆ self_t

template<typename... Ts>
using awali::sttc::labelset_trait< tupleset< Ts... > >::self_t = tupleset<Ts...>

◆ wordset_t

template<typename... Ts>
using awali::sttc::labelset_trait< tupleset< Ts... > >::wordset_t = tupleset<typename labelset_trait<Ts>::wordset_t...>

Member Function Documentation

◆ get_not_nullableset()

template<typename... Ts>
static not_nullable_t const& awali::sttc::labelset_trait< tupleset< Ts... > >::get_not_nullableset ( const self_t ls)
static

◆ get_nullableset() [1/2]

template<typename... Ts>
static nullable_t awali::sttc::labelset_trait< tupleset< Ts... > >::get_nullableset ( const self_t ls)
static

◆ get_nullableset() [2/2]

template<typename... Ts>
template<std::size_t... I>
static nullable_t const& awali::sttc::labelset_trait< tupleset< Ts... > >::get_nullableset ( const self_t ls,
awali::internal::index_sequence< I... >   
)
static

◆ get_ratlabelset()

template<typename... Ts>
static const ratlabelset_t& awali::sttc::labelset_trait< tupleset< Ts... > >::get_ratlabelset ( const self_t ls)
static

◆ get_wordset() [1/2]

template<typename... Ts>
static nullable_t awali::sttc::labelset_trait< tupleset< Ts... > >::get_wordset ( const self_t ls)
static

◆ get_wordset() [2/2]

template<typename... Ts>
template<std::size_t... I>
static wordset_t const& awali::sttc::labelset_trait< tupleset< Ts... > >::get_wordset ( const self_t ls,
awali::internal::index_sequence< I... >   
)
static

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