Searched refs:diffSet (Results 1 – 1 of 1) sorted by relevance
279 PresburgerSet diffSet = sliceSet.subtract(srcSet); in isSliceValid() local281 if (!diffSet.isIntegerEmpty()) { in isSliceValid()337 PresburgerSet diffSet = srcSet.subtract(sliceSet); in isMaximal() local338 return diffSet.isIntegerEmpty(); in isMaximal()