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

#include <allow_words.hh>

Public Types

using automaton_t = Aut
 
using labelset_t = labelset_t_of< Aut >
 
using ret_automaton_t = mutable_automaton< ret_context_t >
 
using ret_context_t = sttc::context< wordset_t, weightset_t >
 
using weightset_t = weightset_t_of< Aut >
 
using wordset_t = typename labelset_trait< labelset_t >::wordset_t
 

Static Public Member Functions

static ret_automaton_t allow_words (const automaton_t &aut, bool keep_history)
 

Member Typedef Documentation

◆ automaton_t

template<typename Aut >
using awali::sttc::internal::allowworder< Aut >::automaton_t = Aut

◆ labelset_t

template<typename Aut >
using awali::sttc::internal::allowworder< Aut >::labelset_t = labelset_t_of<Aut>

◆ ret_automaton_t

◆ ret_context_t

◆ weightset_t

template<typename Aut >
using awali::sttc::internal::allowworder< Aut >::weightset_t = weightset_t_of<Aut>

◆ wordset_t

template<typename Aut >
using awali::sttc::internal::allowworder< Aut >::wordset_t = typename labelset_trait<labelset_t>::wordset_t

Member Function Documentation

◆ allow_words()

template<typename Aut >
static ret_automaton_t awali::sttc::internal::allowworder< Aut >::allow_words ( const automaton_t aut,
bool  keep_history 
)
static

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