Searched refs:getNonDeterministicAlts (Results 1 – 4 of 4) sorted by relevance
253 public Set getNonDeterministicAlts() { in getNonDeterministicAlts() method in DecisionProbe261 Set nondetAlts = targetState.getNonDeterministicAlts(); in getNonDeterministicAltsForState()
992 d.getNonDeterministicAlts()==null && in convertToAcceptState()1173 Set nondeterministicAlts = d.getNonDeterministicAlts(); in resolveNonDeterminisms()
493 protected Set getNonDeterministicAlts() { in getNonDeterministicAlts() method in DFAState
667 Message msg = new NonRegularDecisionMessage(probe, probe.getNonDeterministicAlts()); in nonLLStarDecision()