Awali
Another Weighted Automata library
Public Types | Static Public Member Functions
awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset > Struct Template Reference

#include <letterize_tape.hh>

Public Types

using Ilabelset_t = typename labelset_t::template valueset_t< I >
 
using labelset_t = labelset_t_of< Tdc >
 
using letterset_t = typename labelset_trait< Ilabelset_t >::letterset_t
 
using nletterset_t = typename labelset_trait< letterset_t >::nullable_t
 
using nullable_label_t = typename nullable_labelset_t::value_t
 
using nullable_labelset_t = typename map_nullable< labelset_t >::type
 
using ret_context_t = sttc::context< ret_labelset_t, weightset_t >
 
using ret_label_t = typename ret_labelset_t::value_t
 
using ret_labelset_t = typename replace_in_tupleset< nullable_labelset_t, I, nletterset_t >::type
 
using ret_transducer_t = mutable_automaton< ret_context_t >
 
using weightset_t = weightset_t_of< Tdc >
 

Static Public Member Functions

static ret_transducer_t tdc_letterize (const Tdc &tdc, bool keep_history)
 

Member Typedef Documentation

◆ Ilabelset_t

template<typename Tdc , unsigned I, typename Labelset >
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::Ilabelset_t = typename labelset_t::template valueset_t<I>

◆ labelset_t

template<typename Tdc , unsigned I, typename Labelset >
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::labelset_t = labelset_t_of<Tdc>

◆ letterset_t

template<typename Tdc , unsigned I, typename Labelset >
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::letterset_t = typename labelset_trait<Ilabelset_t>::letterset_t

◆ nletterset_t

template<typename Tdc , unsigned I, typename Labelset >
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::nletterset_t = typename labelset_trait<letterset_t>::nullable_t

◆ nullable_label_t

template<typename Tdc , unsigned I, typename Labelset >
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::nullable_label_t = typename nullable_labelset_t::value_t

◆ nullable_labelset_t

template<typename Tdc , unsigned I, typename Labelset >
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::nullable_labelset_t = typename map_nullable<labelset_t>::type

◆ ret_context_t

template<typename Tdc , unsigned I, typename Labelset >
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::ret_context_t = sttc::context<ret_labelset_t, weightset_t>

◆ ret_label_t

template<typename Tdc , unsigned I, typename Labelset >
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::ret_label_t = typename ret_labelset_t::value_t

◆ ret_labelset_t

template<typename Tdc , unsigned I, typename Labelset >
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::ret_labelset_t = typename replace_in_tupleset<nullable_labelset_t,I,nletterset_t>::type

◆ ret_transducer_t

template<typename Tdc , unsigned I, typename Labelset >
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::ret_transducer_t = mutable_automaton<ret_context_t>

◆ weightset_t

template<typename Tdc , unsigned I, typename Labelset >
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::weightset_t = weightset_t_of<Tdc>

Member Function Documentation

◆ tdc_letterize()

template<typename Tdc , unsigned I, typename Labelset >
static ret_transducer_t awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::tdc_letterize ( const Tdc &  tdc,
bool  keep_history 
)
static

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