683   Simplex simplex(*this);  in getBoundedDirections()  local
685   assert(!simplex.isEmpty() && "It is not meaningful to ask whether a "  in getBoundedDirections()
692     if (simplex.isBoundedAlongConstraint(i))  in getBoundedDirections()
771   Simplex simplex(*this);  in findIntegerSample()  local
772   if (simplex.isEmpty())  in findIntegerSample()
776   if (!simplex.isUnbounded())  in findIntegerSample()
777     return simplex.findIntegerSample();  in findIntegerSample()
1057   Simplex simplex(*this);  in removeRedundantConstraints()  local
1058   simplex.detectRedundant();  in removeRedundantConstraints()
1065     if (!simplex.isMarkedRedundant(r))  in removeRedundantConstraints()
1076     if (!(simplex.isMarkedRedundant(numIneqs + 2 * r) &&  in removeRedundantConstraints()
1077           simplex.isMarkedRedundant(numIneqs + 2 * r + 1)))  in removeRedundantConstraints()
1086   Simplex simplex(*this);  in computeVolume()  local
1089   if (simplex.isEmpty())  in computeVolume()
1112     std::tie(min, max) = simplex.computeIntegerBounds(dim);  in computeVolume()