Searched refs:computeReprWithOnlyDivLocals (Results 1 – 5 of 5) sorted by relevance
819 PresburgerRelation repr = poly.computeReprWithOnlyDivLocals(); in testComputeReprAtPoints()832 PresburgerRelation repr = poly.computeReprWithOnlyDivLocals(); in testComputeRepr()838 TEST(SetTest, computeReprWithOnlyDivLocals) { in TEST() argument
214 PresburgerRelation computeReprWithOnlyDivLocals() const;
712 PresburgerRelation computeReprWithOnlyDivLocals() const;
302 PresburgerRelation PresburgerRelation::computeReprWithOnlyDivLocals() const { in computeReprWithOnlyDivLocals() function in PresburgerRelation 309 result.unionInPlace(disjunct.computeReprWithOnlyDivLocals()); in computeReprWithOnlyDivLocals() 352 return getSetDifference(b, s.computeReprWithOnlyDivLocals()); in getSetDifference()
223 PresburgerRelation IntegerRelation::computeReprWithOnlyDivLocals() const { in computeReprWithOnlyDivLocals() 220 PresburgerRelation IntegerRelation::computeReprWithOnlyDivLocals() const { computeReprWithOnlyDivLocals() function in IntegerRelation