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