Awali
Another Weighted Automata library
Public Types | Static Public Member Functions
awali::sttc::internal::replace_in_tuple< 0u, T > Struct Template Reference

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

Member Typedef Documentation

◆ type

template<typename T >
template<typename Tuple >
using awali::sttc::internal::replace_in_tuple< 0u, T >::type = typename std::cons_tuple<T, typename tail_tuple<Tuple>::type>::type

Member Function Documentation

◆ get()

template<typename T >
template<typename Tuple >
static auto awali::sttc::internal::replace_in_tuple< 0u, T >::get ( const Tuple &  t,
const T &  x 
) -> type<Tuple>
static

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