![]() |
Awali
Another Weighted Automata library
|
#include <sub_tuple.hh>
Public Types | |
| template<typename Tuple > | |
| using | type = typename std::cons_tuple< typename std::tuple_element< 0, Tuple >::type, typename replace_in_tuple< N-1, T >::template type< typename tail_tuple< Tuple >::type > >::type |
Static Public Member Functions | |
| template<typename Tuple > | |
| static auto | get (const Tuple &t, const T &x) -> type< Tuple > |
| using awali::sttc::internal::replace_in_tuple< N, T >::type = typename std::cons_tuple< typename std::tuple_element<0,Tuple>::type, typename replace_in_tuple<N-1,T>::template type<typename tail_tuple<Tuple>::type> >::type |
|
static |