Home
last modified time | relevance | path

Searched defs:isObviouslyEmpty (Results 1 – 2 of 2) sorted by relevance

/llvm-project/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp660 bool PresburgerRelation::isObviouslyEmpty() const { isObviouslyEmpty() function in PresburgerRelation
H A DIntegerRelation.cpp738 bool IntegerRelation::isObviouslyEmpty() const { isObviouslyEmpty() function in IntegerRelation