Awali
Another Weighted Automata library
|
#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) |
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::Ilabelset_t = typename labelset_t::template valueset_t<I> |
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::labelset_t = labelset_t_of<Tdc> |
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::letterset_t = typename labelset_trait<Ilabelset_t>::letterset_t |
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::nletterset_t = typename labelset_trait<letterset_t>::nullable_t |
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::nullable_label_t = typename nullable_labelset_t::value_t |
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::nullable_labelset_t = typename map_nullable<labelset_t>::type |
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::ret_context_t = sttc::context<ret_labelset_t, weightset_t> |
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::ret_label_t = typename ret_labelset_t::value_t |
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::ret_labelset_t = typename replace_in_tupleset<nullable_labelset_t,I,nletterset_t>::type |
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::ret_transducer_t = mutable_automaton<ret_context_t> |
using awali::sttc::internal::tdc_letterizer< Tdc, I, Labelset >::weightset_t = weightset_t_of<Tdc> |
|
static |