![]()  | 
  
    Awali
    
   Another Weighted Automata library 
   | 
 
#include <letterize.hh>
Public Types | |
| using | ret_automaton_t = Aut | 
Static Public Member Functions | |
| static ret_automaton_t | letterize (const Aut &aut, bool keep_history) | 
| using awali::sttc::internal::letterizer< Aut, Labelset >::ret_automaton_t = Aut | 
      
  | 
  static |