Lines Matching refs:Simplex
197 Simplex simplex(b); in getSetDifference()
510 SmallVector<Simplex, 2> simplices;
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()
634 bool SetCoalescer::isFacetContained(ArrayRef<int64_t> ineq, Simplex &simp) { in isFacetContained()
657 simplices[n - 2] = Simplex(disjuncts[n - 2]); in addCoalescedDisjunct()
674 simplices[n - 2] = Simplex(disjuncts[n - 2]); in addCoalescedDisjunct()
697 Simplex &simp = simplices[i]; in coalescePairCutCase()
716 Simplex &simp) { in typeInequality()
717 Simplex::IneqType type = simp.findIneqType(ineq); in typeInequality()
718 if (type == Simplex::IneqType::Redundant) in typeInequality()
720 else if (type == Simplex::IneqType::Cut) in typeInequality()
727 LogicalResult SetCoalescer::typeEquality(ArrayRef<int64_t> eq, Simplex &simp) { in typeEquality()
755 Simplex &simpA = simplices[i]; in coalescePair()
756 Simplex &simpB = simplices[j]; in coalescePair()