Searched defs:diffSet (Results 1 – 1 of 1) sorted by relevance
279 PresburgerSet diffSet = sliceSet.subtract(srcSet); in isSliceValid() local337 PresburgerSet diffSet = srcSet.subtract(sliceSet); in isMaximal() local