![]() |
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 |