Searched refs:widestSubtree (Results 1 – 1 of 1) sorted by relevance
419 GeneralSubtree widestSubtree = in intersect() local421 if (!newExcluded.contains(widestSubtree)) { in intersect()422 newExcluded.add(widestSubtree); in intersect()