| Interface | Description |
|---|---|
| AutomatonFactory |
| Class | Description |
|---|---|
| ArrayIterable<T> | |
| Automaton | |
| AutomatonUtils | |
| DefaultAutomatonFactory | |
| DeterministicAutomaton |
Tagging subclass to distinguish between deterministic and non-deterministic autonmata
|
| DFAOperations | |
| DOTExporter | |
| ExecutableAutomaton |
Title: DECLARE
|
| NDFAOperations |
Operations on non-deterministic finite automata
|
| PossibleNodes |
Title: DECLARE
|
| State | |
| Transition | |
| TransitionLabel | |
| TransitionMatrix |