View Javadoc

1   package org.sat4j.pb;
2   
3   import java.math.BigInteger;
4   
5   import org.sat4j.specs.IConstr;
6   import org.sat4j.specs.ISolverService;
7   import org.sat4j.specs.IVec;
8   import org.sat4j.specs.IVecInt;
9   
10  public interface IPBSolverService extends ISolverService {
11  
12      IConstr addAtMostOnTheFly(IVecInt literals, IVec<BigInteger> coeffs,
13              BigInteger degree);
14  
15      IConstr addAtMostOnTheFly(IVecInt literals, IVecInt coeffs, int degree);
16  
17      ObjectiveFunction getObjectiveFunction();
18  
19  }