Searched refs:nondetAlts (Results 1 – 2 of 2) sorted by relevance
92 List nondetAlts = probe.getNonDeterministicAltsForState(problemState); in toString() local96 if ( nondetAlts!=null ) { in toString()97 for (Iterator iter = nondetAlts.iterator(); iter.hasNext();) { in toString()
261 Set nondetAlts = targetState.getNonDeterministicAlts(); in getNonDeterministicAltsForState() local262 if ( nondetAlts==null ) { in getNonDeterministicAltsForState()266 sorted.addAll(nondetAlts); in getNonDeterministicAltsForState()