Class and Description |
---|
DFA |
RunAutomaton2
Provides a fast way to evaluate whether the automaton accepts a trace (after
a setup and memory cost).
|
Class and Description |
---|
DFA |
Class and Description |
---|
DFA |
DFAImplEdgeList.EdgeIterableOutgoing
Iterator to iterate over the outgoing edges of a state.
|
Class and Description |
---|
DFA |
DFAImplEdgeList.EdgeIterableOutgoing
Iterator to iterate over the outgoing edges of a state.
|