Searched defs:simp (Results 1 – 1 of 1) sorted by relevance
792 Simplex simp(disjuncts[i]); SetCoalescer() local 846 isFacetContained(ArrayRef<DynamicAPInt> ineq,Simplex & simp) isFacetContained() argument 909 Simplex &simp = simplices[i]; coalescePairCutCase() local 928 typeInequality(ArrayRef<DynamicAPInt> ineq,Simplex & simp) typeInequality() argument 940 typeEquality(ArrayRef<DynamicAPInt> eq,Simplex & simp) typeEquality() argument [all...]