Awali
Another Weighted Automata library
|
#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) |
using awali::sttc::internal::selects< tupleset< T... >, I... >::labelset_t = typename tuple_to_tupleset<typename sub_tuple<I...>::template type<std::tuple<T...> >>::type |
using awali::sttc::internal::selects< tupleset< T... >, I... >::tp_t = tupleset<T...> |
|
static |