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