| Interface | Description |
|---|---|
| DFA |
| Class | Description |
|---|---|
| DFAFactory | |
| DFAImplEdgeList | |
| DFAOperations | |
| RunAutomaton2 |
Provides a fast way to evaluate whether the automaton accepts a trace (after
a setup and memory cost).
|
| testAutomaton | |
| testAutomatonBasic | |
| testAutomatonFromTree | |
| testMarkingSet | |
| testStatePairSet |