Searched refs:newExcluded (Results 1 – 2 of 2) sorted by relevance
349 GeneralSubtrees newExcluded = newConstraints.get(EXCLUDED_SUBTREES); in merge() local351 excluded = (newExcluded != null) ? in merge()352 (GeneralSubtrees)newExcluded.clone() : null; in merge()354 if (newExcluded != null) { in merge()356 excluded.union(newExcluded); in merge()373 newExcluded = permitted.intersect(newPermitted); in merge()376 if (newExcluded != null) { in merge()378 excluded.union(newExcluded); in merge()380 excluded = (GeneralSubtrees)newExcluded.clone(); in merge()
327 GeneralSubtrees newExcluded = null; in intersect() local416 if (newExcluded == null) { in intersect()417 newExcluded = new GeneralSubtrees(); in intersect()421 if (!newExcluded.contains(widestSubtree)) { in intersect()422 newExcluded.add(widestSubtree); in intersect()470 return newExcluded; in intersect()