Searched refs:newPermitted (Results 1 – 1 of 1) sorted by relevance
366 GeneralSubtrees newPermitted = newConstraints.get(PERMITTED_SUBTREES); in merge() local368 permitted = (newPermitted != null) ? in merge()369 (GeneralSubtrees)newPermitted.clone() : null; in merge()371 if (newPermitted != null) { in merge()373 newExcluded = permitted.intersect(newPermitted); in merge()