Awali
Another Weighted Automata library
|
#include <letterize.hh>
Public Types | |
using | automaton_t = Aut |
using | labelset_t = labelset_t_of< Aut > |
using | letterset_t = typename labelset_trait< labelset_t >::letterset_t |
using | nletterset_t = typename labelset_trait< letterset_t >::nullable_t |
using | ret_automaton_t = mutable_automaton< ret_context_t > |
using | ret_context_t = sttc::context< nletterset_t, weightset_t > |
using | weightset_t = weightset_t_of< Aut > |
Static Public Member Functions | |
static ret_automaton_t | letterize (const automaton_t &aut, bool keep_history) |
using awali::sttc::internal::letterizer< Aut, wordset< L > >::automaton_t = Aut |
using awali::sttc::internal::letterizer< Aut, wordset< L > >::labelset_t = labelset_t_of<Aut> |
using awali::sttc::internal::letterizer< Aut, wordset< L > >::letterset_t = typename labelset_trait<labelset_t>::letterset_t |
using awali::sttc::internal::letterizer< Aut, wordset< L > >::nletterset_t = typename labelset_trait<letterset_t>::nullable_t |
using awali::sttc::internal::letterizer< Aut, wordset< L > >::ret_automaton_t = mutable_automaton<ret_context_t> |
using awali::sttc::internal::letterizer< Aut, wordset< L > >::ret_context_t = sttc::context<nletterset_t, weightset_t> |
using awali::sttc::internal::letterizer< Aut, wordset< L > >::weightset_t = weightset_t_of<Aut> |
|
static |