Awali
Another Weighted Automata library
|
#include <sub_tuple.hh>
Public Types | |
template<typename Tuple > | |
using | type = typename tail_tuple< Tuple >::type |
Static Public Member Functions | |
template<typename Tuple > | |
static auto | get (const Tuple &t) -> type< Tuple > |
using awali::sttc::internal::rem_in_tuple< 0u >::type = typename tail_tuple<Tuple>::type |
|
static |