19 PresburgerRelation::PresburgerRelation(const IntegerRelation &disjunct)  in PresburgerRelation()
27   for (IntegerRelation &disjunct : disjuncts)  in setSpace()
35 ArrayRef<IntegerRelation> PresburgerRelation::getAllDisjuncts() const {  in getAllDisjuncts()
39 const IntegerRelation &PresburgerRelation::getDisjunct(unsigned index) const {  in getDisjunct()
46 void PresburgerRelation::unionInPlace(const IntegerRelation &disjunct) {  in unionInPlace()
57   for (const IntegerRelation &disjunct : set.disjuncts)  in unionInPlace()
72   return llvm::any_of(disjuncts, [&](const IntegerRelation &disjunct) {  in containsPoint()
80   result.unionInPlace(IntegerRelation::getUniverse(space));  in getUniverse()
100   for (const IntegerRelation &csA : disjuncts) {  in intersect()
101     for (const IntegerRelation &csB : set.disjuncts) {  in intersect()
102       IntegerRelation intersection = csA.intersect(csB);  in intersect()
124 static SmallVector<int64_t, 8> getIneqCoeffsFromIdx(const IntegerRelation &rel,  in getIneqCoeffsFromIdx()
145   for (const IntegerRelation &disjunct : disjuncts)  in computeReprWithOnlyDivLocals()
182 static PresburgerRelation getSetDifference(IntegerRelation b,  in getSetDifference()
207     IntegerRelation::CountsSnapshot bCounts;  in getSetDifference()
209     IntegerRelation sI;  in getSetDifference()
232       IntegerRelation sI = s.getDisjunct(level - 1);  in getSetDifference()
241       IntegerRelation::CountsSnapshot initBCounts = b.getCounts();  in getSetDifference()
370       IntegerRelation::CountsSnapshot bCounts = b.getCounts();  in getSetDifference()
427   return getSetDifference(IntegerRelation::getUniverse(getSpace()), *this);  in complement()
437   for (const IntegerRelation &disjunct : disjuncts)  in subtract()
459   return llvm::all_of(disjuncts, std::mem_fn(&IntegerRelation::isIntegerEmpty));  in isIntegerEmpty()
464   for (const IntegerRelation &disjunct : disjuncts) {  in findIntegerSample()
478   for (const IntegerRelation &disjunct : disjuncts) {  in computeVolume()
508   SmallVector<IntegerRelation, 2> disjuncts;
533                             const IntegerRelation &disjunct);
643                                         const IntegerRelation &disjunct) {  in addCoalescedDisjunct()
698   IntegerRelation &disjunct = disjuncts[i];  in coalescePairCutCase()
703   IntegerRelation newSet(disjunct.getSpace());  in coalescePairCutCase()
748   IntegerRelation &a = disjuncts[i];  in coalescePair()
749   IntegerRelation &b = disjuncts[j];  in coalescePair()
816   return llvm::all_of(disjuncts, [](const IntegerRelation &rel) {  in hasOnlyDivLocals()
823   for (const IntegerRelation &disjunct : disjuncts) {  in print()