Awali
Another Weighted Automata library
Namespaces | Functions
words.hh File Reference
#include <awali/dyn/core/automaton.hh>

Go to the source code of this file.

Namespaces

 awali
 Main namespace of Awali.
 
 awali::dyn
 Namespace for the dynamical layer of Awali.
 

Functions

automaton_t awali::dyn::allow_words (automaton_t aut)
 Returns a copy of aut in which transitions may bear words. More...
 
automaton_t awali::dyn::compact (automaton_t aut)
 In a copy of an automaton aut which allows words as label, compacts each non-branching path into one transition. More...
 
context_t awali::dyn::context_words (automaton_t aut)
 
automaton_t awali::dyn::letterize (automaton_t aut)