Awali
Another Weighted Automata library
|
#include <sub_tuple.hh>
Public Types | |
template<typename Tuple > | |
using | type = typename std::cons_tuple< T, 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< 0u, T >::type = typename std::cons_tuple<T, typename tail_tuple<Tuple>::type>::type |
|
static |