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

#include <letterize_tape.hh>

Public Types

using tp_t = tupleset< T... >
 
using type = typename tuple_to_tupleset< typename replace_in_tuple< I, U >::template type< std::tuple< T... > >>::type
 

Static Public Member Functions

static type get (const tp_t &t, const U &v)
 

Member Typedef Documentation

◆ tp_t

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

◆ type

template<typename... T, size_t I, typename U >
using awali::sttc::internal::replace_in_tupleset< tupleset< T... >, I, U >::type = typename tuple_to_tupleset<typename replace_in_tuple<I,U>::template type<std::tuple<T...> >>::type

Member Function Documentation

◆ get()

template<typename... T, size_t I, typename U >
static type awali::sttc::internal::replace_in_tupleset< tupleset< T... >, I, U >::get ( const tp_t t,
const U &  v 
)
static

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