Searched defs:isIntegerEmpty (Results 1 – 2 of 2) sorted by relevance
| /llvm-project/mlir/lib/Analysis/Presburger/ | ||
| H A D | PresburgerRelation.cpp | 666 bool PresburgerRelation::isIntegerEmpty() const { isIntegerEmpty() function in PresburgerRelation |
| H A D | IntegerRelation.cpp | 820 bool IntegerRelation::isIntegerEmpty() const { return !findIntegerSample(); } isIntegerEmpty() function in IntegerRelation |