| Interface | Description |
|---|---|
| IndexedState | |
| StateIndex<S> | |
| StateSetBackingSet |
A set of short values to be used as backing set by
StateSet. |
| StateSetBackingSetFactory | |
| TransitionSet |
Represents a set of NFA transitions to be used in
TransitionBuilder. |
| Class | Description |
|---|---|
| StateSet<S extends IndexedState> |
A specialized set for sequentially indexed objects.
|
| StateSetBackingBitSet | |
| StateSetBackingSortedArray | |
| StateTransitionCanonicalizer<TS extends TransitionSet,TB extends TransitionBuilder<TS>> |
This class provides an algorithm for converting a list of NFA transitions into a set of DFA
transitions.
|
| TransitionBuilder<TS extends TransitionSet> |
This class represents a power-set automaton state transition fragment to be used by
StateTransitionCanonicalizer.A transition in a power-set automaton consists of a set of transitions of the NFA that the power-set automaton is being built from. |