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 |