Searched refs:unionInPlace (Results 1 – 6 of 6) sorted by relevance
21 unionInPlace(disjunct); in PresburgerRelation()55 void PresburgerRelation::unionInPlace(const PresburgerRelation &set) { in unionInPlace() function in PresburgerRelation58 unionInPlace(disjunct); in unionInPlace()66 result.unionInPlace(set); in unionSet()80 result.unionInPlace(IntegerRelation::getUniverse(space)); in getUniverse()104 result.unionInPlace(intersection); in intersect()146 result.unionInPlace(disjunct.computeReprWithOnlyDivLocals()); in computeReprWithOnlyDivLocals()225 result.unionInPlace(b); in getSetDifference()438 result.unionInPlace(getSetDifference(disjunct, set)); in subtract()626 newSet.unionInPlace(disjuncts[i]); in coalesce()[all …]
32 domain.unionInPlace(piece.getDomain()); in getDomain()339 result.unionInPlace(levelSet); in tiebreakLex()
446 result.unboundedDomain.unionInPlace(domainPoly); in recordOutput()455 result.unboundedDomain.unionInPlace(domainPoly); in recordOutput()
74 void unionInPlace(const IntegerRelation &disjunct);77 void unionInPlace(const PresburgerRelation &set);
49 set.unionInPlace(parsePoly(str));
95 set.unionInPlace(poly); in makeSetFromPoly()