Searched refs:getSetDifference (Results 1 – 1 of 1) sorted by relevance
182 static PresburgerRelation getSetDifference(IntegerRelation b, in getSetDifference() function189 return getSetDifference(b, s.computeReprWithOnlyDivLocals()); in getSetDifference()427 return getSetDifference(IntegerRelation::getUniverse(getSpace()), *this); in complement()438 result.unionInPlace(getSetDifference(disjunct, set)); in subtract()