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

#include <projection.hh>

Public Types

using labelset_t = typename tuple_to_tupleset< typename sub_tuple< I... >::template type< std::tuple< T... > >>::type
 
using tp_t = tupleset< T... >
 

Static Public Member Functions

static labelset_t get (const tp_t &t)
 

Member Typedef Documentation

◆ labelset_t

template<typename... T, size_t... I>
using awali::sttc::internal::selects< tupleset< T... >, I... >::labelset_t = typename tuple_to_tupleset<typename sub_tuple<I...>::template type<std::tuple<T...> >>::type

◆ tp_t

template<typename... T, size_t... I>
using awali::sttc::internal::selects< tupleset< T... >, I... >::tp_t = tupleset<T...>

Member Function Documentation

◆ get()

template<typename... T, size_t... I>
static labelset_t awali::sttc::internal::selects< tupleset< T... >, I... >::get ( const tp_t t)
static

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