Awali
Another Weighted Automata library
Public Types | Static Public Member Functions
awali::sttc::internal::select_one< tupleset< T... >, I > Struct Template Reference

#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 ()
 

Member Typedef Documentation

◆ tp_t

template<typename... T, size_t I>
using awali::sttc::internal::select_one< tupleset< T... >, I >::tp_t = tupleset<T...>

Member Function Documentation

◆ get()

template<typename... T, size_t I>
template<typename LS , typename Tuple >
static bool awali::sttc::internal::select_one< tupleset< T... >, I >::get ( LS  ts,
Tuple  tu 
)
static

◆ has_one()

template<typename... T, size_t I>
static constexpr bool awali::sttc::internal::select_one< tupleset< T... >, I >::has_one ( )
staticconstexpr

The documentation for this struct was generated from the following file: