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

#include <sub_tuple.hh>

Public Types

template<typename Tuple >
using type = typename std::cons_tuple< typename std::tuple_element< 0, Tuple >::type, typename replace_in_tuple< N-1, T >::template type< 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<size_t N, typename T >
template<typename Tuple >
using awali::sttc::internal::replace_in_tuple< N, T >::type = typename std::cons_tuple< typename std::tuple_element<0,Tuple>::type, typename replace_in_tuple<N-1,T>::template type<typename tail_tuple<Tuple>::type> >::type

Member Function Documentation

◆ get()

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

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