Searched refs:intersect (Results 1 – 2 of 2) sorted by relevance
320 public GeneralSubtrees intersect(GeneralSubtrees other) { in intersect() method in GeneralSubtrees
373 newExcluded = permitted.intersect(newPermitted); in merge()