Searched refs:simp (Results 1 – 1 of 1) sorted by relevance
581 Simplex simp(disjuncts[i]); in SetCoalescer() local582 if (simp.isEmpty()) { in SetCoalescer()588 simplices.push_back(simp); in SetCoalescer()635 SimplexRollbackScopeExit scopeExit(simp); in isFacetContained()636 simp.addEquality(ineq); in isFacetContained()638 return simp.isRedundantInequality(curr); in isFacetContained()697 Simplex &simp = simplices[i]; in coalescePairCutCase() local700 return !isFacetContained(curr, simp); in coalescePairCutCase()717 Simplex::IneqType type = simp.findIneqType(ineq); in typeInequality()728 if (typeInequality(eq, simp).failed()) in typeEquality()[all …]