Lines Matching refs:IntegerPolyhedron
37 std::unique_ptr<IntegerPolyhedron> IntegerPolyhedron::clone() const { in clone()
38 return std::make_unique<IntegerPolyhedron>(*this); in clone()
215 IntegerPolyhedron(PresburgerSpace::getSetSpace( in computeReprWithOnlyDivLocals()
242 IntegerPolyhedron(PresburgerSpace::getSetSpace( in findSymbolicIntegerLexMin()
2140 IntegerPolyhedron IntegerRelation::getDomainSet() const { in getDomainSet()
2151 return IntegerPolyhedron(std::move(copyRel)); in getDomainSet()
2154 IntegerPolyhedron IntegerRelation::getRangeSet() const { in getRangeSet()
2164 return IntegerPolyhedron(std::move(copyRel)); in getRangeSet()
2167 void IntegerRelation::intersectDomain(const IntegerPolyhedron &poly) { in intersectDomain()
2183 void IntegerRelation::intersectRange(const IntegerPolyhedron &poly) { in intersectRange()
2223 intersectRange(IntegerPolyhedron(copyRel)); in compose()
2262 unsigned IntegerPolyhedron::insertVar(VarKind kind, unsigned pos, in insertVar()
2268 IntegerPolyhedron
2269 IntegerPolyhedron::intersect(const IntegerPolyhedron &other) const { in intersect()
2270 return IntegerPolyhedron(IntegerRelation::intersect(other)); in intersect()
2273 PresburgerSet IntegerPolyhedron::subtract(const PresburgerSet &other) const { in subtract()