| Interface | Description |
|---|---|
| AbstractState<S extends AbstractState<S,T>,T extends AbstractTransition<S,T>> |
Abstract base interface for states of an automaton.
|
| AbstractTransition<S extends AbstractState<S,T>,T extends AbstractTransition<S,T>> |
Basic interface for transitions of an automaton.
|
| StateIndex<S> | |
| StateSet<SI extends StateIndex<? super S>,S> |
A specialized set for sequentially indexed objects.
|
| Class | Description |
|---|---|
| BasicState<S extends BasicState<S,T>,T extends AbstractTransition<S,T>> |
Abstract base class for states of an automaton.
|
| SimpleStateIndex<T> |
Simple base class for implementors of
StateIndex. |
| StateTransitionCanonicalizer<SI extends StateIndex<? super S>,S extends AbstractState<S,T>,T extends AbstractTransition<S,T>,TB extends TransitionBuilder<SI,S,T>> |
This class provides an algorithm for converting a list of NFA transitions into a set of DFA
transitions.
|
| TransitionBuilder<SI extends StateIndex<? super S>,S extends AbstractState<S,T>,T extends AbstractTransition<S,T>> |
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, and the set of characters it can match. |
| TransitionSet<SI extends StateIndex<? super S>,S extends AbstractState<S,T>,T extends AbstractTransition<S,T>> |
Represents a set of NFA transitions to be used in
TransitionBuilder. |