Awali
Another Weighted Automata library
Public Types | Static Public Member Functions
awali::sttc::internal::letterizer< Aut, wordset< L > > Struct Template Reference

#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)
 

Member Typedef Documentation

◆ automaton_t

template<typename Aut , typename L >
using awali::sttc::internal::letterizer< Aut, wordset< L > >::automaton_t = Aut

◆ labelset_t

template<typename Aut , typename L >
using awali::sttc::internal::letterizer< Aut, wordset< L > >::labelset_t = labelset_t_of<Aut>

◆ letterset_t

template<typename Aut , typename L >
using awali::sttc::internal::letterizer< Aut, wordset< L > >::letterset_t = typename labelset_trait<labelset_t>::letterset_t

◆ nletterset_t

template<typename Aut , typename L >
using awali::sttc::internal::letterizer< Aut, wordset< L > >::nletterset_t = typename labelset_trait<letterset_t>::nullable_t

◆ ret_automaton_t

template<typename Aut , typename L >
using awali::sttc::internal::letterizer< Aut, wordset< L > >::ret_automaton_t = mutable_automaton<ret_context_t>

◆ ret_context_t

template<typename Aut , typename L >
using awali::sttc::internal::letterizer< Aut, wordset< L > >::ret_context_t = sttc::context<nletterset_t, weightset_t>

◆ weightset_t

template<typename Aut , typename L >
using awali::sttc::internal::letterizer< Aut, wordset< L > >::weightset_t = weightset_t_of<Aut>

Member Function Documentation

◆ letterize()

template<typename Aut , typename L >
static ret_automaton_t awali::sttc::internal::letterizer< Aut, wordset< L > >::letterize ( const automaton_t aut,
bool  keep_history 
)
static

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