Home
last modified time | relevance | path

Searched refs:isFacetContained (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp527 bool isFacetContained(ArrayRef<int64_t> ineq, Simplex &simp);
634 bool SetCoalescer::isFacetContained(ArrayRef<int64_t> ineq, Simplex &simp) { in isFacetContained() function in SetCoalescer
700 return !isFacetContained(curr, simp); in coalescePairCutCase()