Esempio n. 1
0
 public IConstr addExactly(IVecInt literals, IVec<BigInteger> coeffs, BigInteger weight)
     throws ContradictionException {
   StringBuffer out = getOut();
   assert literals.size() == coeffs.size();
   this.nbOfConstraints++;
   int n = literals.size();
   if (n > 0) {
     out.append(coeffs.get(0));
     out.append("x");
     out.append(literals.get(0));
     out.append(" ");
   }
   BigInteger coeff;
   for (int i = 1; i < n; i++) {
     coeff = coeffs.get(i);
     if (coeff.signum() > 0) {
       out.append("+ " + coeff);
     } else {
       out.append("- " + coeff.negate());
     }
     out.append("x");
     out.append(literals.get(i));
     out.append(" ");
   }
   out.append("= ");
   out.append(weight);
   out.append(" \n");
   return FAKE_CONSTR;
 }
Esempio n. 2
0
 public void objectiveFunctionToLP(ObjectiveFunction obj, StringBuffer buffer) {
   buffer.append("Minimize \n");
   buffer.append("obj: ");
   IVecInt variables = obj.getVars();
   IVec<BigInteger> coeffs = obj.getCoeffs();
   int n = variables.size();
   if (n > 0) {
     buffer.append(coeffs.get(0));
     buffer.append("x");
     buffer.append(variables.get(0));
     buffer.append(" ");
   }
   BigInteger coeff;
   for (int i = 1; i < n; i++) {
     coeff = coeffs.get(i);
     if (coeff.signum() > 0) {
       buffer.append("+ " + coeff);
     } else {
       buffer.append("- " + coeff.negate());
     }
     buffer.append("x");
     buffer.append(variables.get(i));
     buffer.append(" ");
   }
 }