Lines Matching defs:simplex

787   Simplex simplex(*this);
789   assert(!simplex.isEmpty() && "It is not meaningful to ask whether a "
793   // The constructor adds the inequalities to the simplex first, so this
796     if (simplex.isBoundedAlongConstraint(i))
876   Simplex simplex(*this);
877   if (simplex.isEmpty())
881   if (!simplex.isUnbounded())
882     return simplex.findIntegerSample();
1215   Simplex simplex(*this);
1216   simplex.detectRedundant();
1223     if (!simplex.isMarkedRedundant(r))
1234     if (!(simplex.isMarkedRedundant(numIneqs + 2 * r) &&
1235           simplex.isMarkedRedundant(numIneqs + 2 * r + 1)))
1244   Simplex simplex(*this);
1247   if (simplex.isEmpty())
1269     auto [min, max] = simplex.computeIntegerBounds(dim);
2527   Simplex simplex(*this);
2529     return simplex.isFlatAlong(getInequality(i));