Searched refs:nakedAlt (Results 1 – 1 of 1) sorted by relevance
1386 int nakedAlt = ndSet.subtract(predSet).getSingleElement(); in tryToResolveWithSemanticPredicates() local1388 if ( nakedAlt == max(nondeterministicAlts) ) { in tryToResolveWithSemanticPredicates()1415 altToPredMap.put(Utils.integer(nakedAlt), nakedAltPred); in tryToResolveWithSemanticPredicates()1421 if ( configuration.alt == nakedAlt ) { in tryToResolveWithSemanticPredicates()