527   bool isFacetContained(ArrayRef<int64_t> ineq, Simplex &simp);
551   LogicalResult typeInequality(ArrayRef<int64_t> ineq, Simplex &simp);
557   LogicalResult typeEquality(ArrayRef<int64_t> eq, Simplex &simp);
581     Simplex simp(disjuncts[i]);  in SetCoalescer()  local
582     if (simp.isEmpty()) {  in SetCoalescer()
588     simplices.push_back(simp);  in SetCoalescer()
634 bool SetCoalescer::isFacetContained(ArrayRef<int64_t> ineq, Simplex &simp) {  in isFacetContained()  argument
635   SimplexRollbackScopeExit scopeExit(simp);  in isFacetContained()
636   simp.addEquality(ineq);  in isFacetContained()
637   return llvm::all_of(cuttingIneqsB, [&simp](ArrayRef<int64_t> curr) {  in isFacetContained()
638     return simp.isRedundantInequality(curr);  in isFacetContained()
697   Simplex &simp = simplices[i];  in coalescePairCutCase()  local
699   if (llvm::any_of(cuttingIneqsA, [this, &simp](ArrayRef<int64_t> curr) {  in coalescePairCutCase()
700         return !isFacetContained(curr, simp);  in coalescePairCutCase()
716                                            Simplex &simp) {  in typeInequality()  argument
717   Simplex::IneqType type = simp.findIneqType(ineq);  in typeInequality()
727 LogicalResult SetCoalescer::typeEquality(ArrayRef<int64_t> eq, Simplex &simp) {  in typeEquality()  argument
728   if (typeInequality(eq, simp).failed())  in typeEquality()
732   if (typeInequality(inv, simp).failed())  in typeEquality()