Searched defs:applyDomain (Results 1 – 2 of 2) sorted by relevance
| /llvm-project/mlir/lib/Analysis/Presburger/ | ||
| H A D | PresburgerRelation.cpp | 232 void PresburgerRelation::applyDomain(const PresburgerRelation &rel) { in applyDomain() function in PresburgerRelation |
| H A D | IntegerRelation.cpp | 2494 void IntegerRelation::applyDomain(const IntegerRelation &rel) { applyDomain() function in IntegerRelation |