Awali
Another Weighted Automata library
|
#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) |