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