Searched defs:intersectDomain (Results 1 – 2 of 2) sorted by relevance
| /llvm-project/mlir/lib/Analysis/Presburger/ | ||
| H A D | PresburgerRelation.cpp | 181 PresburgerRelation::intersectDomain(const PresburgerSet &set) const { in intersectDomain() function in PresburgerRelation |
| H A D | IntegerRelation.cpp | 2432 void IntegerRelation::intersectDomain(const IntegerPolyhedron &poly) { intersectDomain() function in IntegerRelation |