Searched refs:incompletelyCoveredAlts (Results 1 – 1 of 1) sorted by relevance
1558 List<Integer> incompletelyCoveredAlts = new ArrayList<Integer>(); in getPredicatesPerNonDeterministicAlt() local1563 incompletelyCoveredAlts.add(altI); // this alt incompleted covered in getPredicatesPerNonDeterministicAlt()1575 if ( incompletelyCoveredAlts.size()>0 ) { in getPredicatesPerNonDeterministicAlt()1590 if ( incompletelyCoveredAlts.contains(altI) && in getPredicatesPerNonDeterministicAlt()