![]()  | 
  
    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 |