Searched refs:sliceSet (Results 1 – 1 of 1) sorted by relevance
278 PresburgerSet sliceSet(sliceConstraints); in isSliceValid() local279 PresburgerSet diffSet = sliceSet.subtract(srcSet); in isSliceValid()336 PresburgerSet sliceSet(sliceConstraints); in isMaximal() local337 PresburgerSet diffSet = srcSet.subtract(sliceSet); in isMaximal()