| Package | Description |
|---|---|
| CA |
Contract Automata, extends FSA implementing the functionalities of a CA
|
| FMA |
Finite Memory Automata, extends the package FSA.
|
| FSA |
Finite State Automata, this is the basic package including all the class to extend.
|
| PFSA |
Pushdown Nominal Automata, extends the package FSA.
|