- <init>
- addDFAStateToWorkList
Add a new DFA state to the DFA if not already present. If the DFA state uniquely
predicts a single a
- addPredicateTransitions
for each NFA config in d, look for "predicate required" sign set during
nondeterminism resolution. A
- addTransition
Add a transition from state d to targetState with label in normal case. if
COLLAPSE_ALL_INCIDENT_EDG
- closure
Where can we get from NFA state p traversing only epsilon transitions? Add new
NFA states + context
- closureIsBusy
A closure operation should abort if that computation has already been done or a
computation with a c
- computeStartState
From this first NFA state of a decision, create a DFA. Walk each alt in decision
and compute closure
- convert
- convertToAcceptState
- convertToEOTAcceptState
Walk the configurations of this DFA state d looking for the configuration, c,
that has a transition
- findNewDFAStatesAndAddDFATransitions
From this node, add a d--a-->t transition for all labels 'a' where t is a DFA
node created from the
- getMinAlt