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