Awali
Another Weighted Automata library
|
#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) |
using awali::sttc::internal::allowworder< Aut >::automaton_t = Aut |
using awali::sttc::internal::allowworder< Aut >::labelset_t = labelset_t_of<Aut> |
using awali::sttc::internal::allowworder< Aut >::ret_automaton_t = mutable_automaton<ret_context_t> |
using awali::sttc::internal::allowworder< Aut >::ret_context_t = sttc::context<wordset_t, weightset_t> |
using awali::sttc::internal::allowworder< Aut >::weightset_t = weightset_t_of<Aut> |
using awali::sttc::internal::allowworder< Aut >::wordset_t = typename labelset_trait<labelset_t>::wordset_t |
|
static |