Searched refs:getNonDeterministicAlts (Results 1 – 4 of 4) sorted by relevance
250 public Set<Integer> getNonDeterministicAlts() { in getNonDeterministicAlts() method in DecisionProbe258 Set<Integer> nondetAlts = targetState.getNonDeterministicAlts(); in getNonDeterministicAltsForState()
992 d.getNonDeterministicAlts()==null && in convertToAcceptState()1173 Set<Integer> nondeterministicAlts = d.getNonDeterministicAlts(); in resolveNonDeterminisms()
498 protected Set<Integer> getNonDeterministicAlts() { in getNonDeterministicAlts() method in DFAState
694 Message msg = new NonRegularDecisionMessage(probe, probe.getNonDeterministicAlts()); in nonLLStarDecision()