Awali
Another Weighted Automata library
|
#include <lal_lan_conversion.hh>
Public Types | |
using | l_automaton_t = mutable_automaton< l_context_t > |
using | l_context_t = sttc::context< letterset_t, weightset_t_of< Aut > > |
using | letterset_t = typename labelset_trait< nullableset< T > >::not_nullable_t |
using | n_automaton_t = Aut |
Static Public Member Functions | |
static const Aut | allow_eps_ (const Aut &aut, bool keep_history) |
static l_automaton_t | proper_ (const Aut &aut, direction_t dir, bool prune, bool keep_history) |
using awali::sttc::internal::dispatch_lal_lan< Aut, nullableset< T > >::l_automaton_t = mutable_automaton<l_context_t> |
using awali::sttc::internal::dispatch_lal_lan< Aut, nullableset< T > >::l_context_t = sttc::context<letterset_t, weightset_t_of<Aut> > |
using awali::sttc::internal::dispatch_lal_lan< Aut, nullableset< T > >::letterset_t = typename labelset_trait<nullableset<T> >::not_nullable_t |
using awali::sttc::internal::dispatch_lal_lan< Aut, nullableset< T > >::n_automaton_t = Aut |
|
static |
|
static |