Searched refs:nondetAlts (Results 1 – 2 of 2) sorted by relevance
92 List<Integer> nondetAlts = probe.getNonDeterministicAltsForState(problemState); in toString() local96 if ( nondetAlts!=null ) { in toString()97 for (Integer displayAltI : nondetAlts) { in toString()
258 Set<Integer> nondetAlts = targetState.getNonDeterministicAlts(); in getNonDeterministicAltsForState() local259 if ( nondetAlts==null ) { in getNonDeterministicAltsForState()263 sorted.addAll(nondetAlts); in getNonDeterministicAltsForState()