awali::sttc::internal::dispatch_lal_lan< Aut, nullableset< T > > Struct Template Reference

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

Member Typedef Documentation

l_automaton_t

template<typename Aut , typename T >

using awali::sttc::internal::dispatch_lal_lan< Aut, nullableset< T > >::l_automaton_t = mutable_automaton<l_context_t>

l_context_t

template<typename Aut , typename T >

using awali::sttc::internal::dispatch_lal_lan< Aut, nullableset< T > >::l_context_t = sttc::context<letterset_t, weightset_t_of<Aut> >

letterset_t

template<typename Aut , typename T >

using awali::sttc::internal::dispatch_lal_lan< Aut, nullableset< T > >::letterset_t = typename labelset_trait<nullableset<T> >::not_nullable_t

n_automaton_t

template<typename Aut , typename T >

using awali::sttc::internal::dispatch_lal_lan< Aut, nullableset< T > >::n_automaton_t = Aut

Member Function Documentation

allow_eps_()

template<typename Aut , typename T >

static const Aut awali::sttc::internal::dispatch_lal_lan< Aut, nullableset< T > >::allow_eps_ ( const Aut &  aut, bool  keep_history  )

static

proper_()

template<typename Aut , typename T >

static l_automaton_t awali::sttc::internal::dispatch_lal_lan< Aut, nullableset< T > >::proper_ ( const Aut &  aut, direction_t  dir, bool  prune, bool  keep_history  )

static

---

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

• /home/marsault/git-client/vcsn.telecom-paristech.fr/awali.git/awali/sttc/algos/lal_lan_conversion.hh