- getDisabledAlternatives
Which alts were specifically turned off to resolve nondeterminisms? This is
different than the unrea
- getInputSequenceDisplay
Given List, return a String with a useful representation of the associated input
string. One could s
- getNFAPathStatesForAlt
Given an alternative associated with a nondeterministic DFA state, find the path
of NFA states assoc
- getNonDeterministicAltsForState
Return the sorted list of alts that conflict within a single state. Note that
predicates may resolve
- getSampleNonDeterministicInputSequence
Return a List indicating an input sequence that can be matched from the start
state of the DFA to th
- analysisOverflowed
Took too long to analyze a DFA
- computeAltToProblemMaps
- getDFAPathStatesToTarget
- getDFAStatesWithSyntacticallyAmbiguousAlts
Return all DFA states in this DFA that have NFA configurations that conflict.
You must report a prob
- getDanglingStates
return set of states w/o emanating edges and w/o resolving sem preds. These
states come about becaus
- getIncompletelyCoveredAlts
Return a list of alts whose predicate context was insufficient to resolve a
nondeterminism for state
- getNFAPath
Given a sample input sequence, you usually would like to know the path taken
through the NFA. Return