Searched defs:isObviouslyEqual (Results 1 – 2 of 2) sorted by relevance
| /llvm-project/mlir/lib/Analysis/Presburger/ | ||
| H A D | PresburgerRelation.cpp | 627 bool PresburgerRelation::isObviouslyEqual(const PresburgerRelation &set) const { isObviouslyEqual() function in PresburgerRelation |
| H A D | IntegerRelation.cpp | 109 bool IntegerRelation::isObviouslyEqual(const IntegerRelation &other) const { isObviouslyEqual() function in IntegerRelation |