![]() |
Awali
Another Weighted Automata library
|
| Factories & Constructors | Contains all functions that allows to construct automata and expressions |
| Options | Contains all enums describing the different algorithms to execute a transformation, and the option mechanism used at dyn layer |
| Products | This group contains the functions that take two (or more) automata/transducers as input |
| Quotient | Contains functions related to automata/transducer quotient (in particular, minimisation |
| Standard | Contains all functions related to standard automata |
| Transducer | Contains functions related to transducers |