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

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

Member Typedef Documentation

◆ l_automaton_t

template<typename Aut , typename L >
using awali::sttc::internal::dispatch_lal_lan< Aut, L >::l_automaton_t = Aut

◆ n_automaton_t

template<typename Aut , typename L >
using awali::sttc::internal::dispatch_lal_lan< Aut, L >::n_automaton_t = Aut

Member Function Documentation

◆ allow_eps_()

template<typename Aut , typename L >
static Aut awali::sttc::internal::dispatch_lal_lan< Aut, L >::allow_eps_ ( const Aut &  aut,
bool  keep_history 
)
static

◆ proper_()

template<typename Aut , typename L >
static const Aut awali::sttc::internal::dispatch_lal_lan< Aut, L >::proper_ ( const Aut &  aut,
direction_t  dir,
bool  prune,
bool  keep_history 
)
static

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