Awali
Another Weighted Automata library
|
#include <lal_lan_conversion.hh>
Public Types | |
using | l_automaton_t = Aut |
using | n_automaton_t = Aut |
Static Public Member Functions | |
static Aut | allow_eps_ (const Aut &aut, bool keep_history) |
static const Aut | proper_ (const Aut &aut, direction_t dir, bool prune, bool keep_history) |
using awali::sttc::internal::dispatch_lal_lan< Aut, L >::l_automaton_t = Aut |
using awali::sttc::internal::dispatch_lal_lan< Aut, L >::n_automaton_t = Aut |
|
static |
|
static |