Awali
Another Weighted Automata library
|
#include <outsplit.hh>
Public Types | |
using | tp_t = tupleset< T... > |
Static Public Member Functions | |
template<typename LS , typename Tuple > | |
static bool | get (LS ts, Tuple tu) |
static constexpr bool | has_one () |
using awali::sttc::internal::select_one< tupleset< T... >, I >::tp_t = tupleset<T...> |
|
static |
|
staticconstexpr |