public interface IPBSolverService extends ISolverService
Modifier and Type | Method and Description |
---|---|
IConstr |
addAtMostOnTheFly(IVecInt literals,
IVec<java.math.BigInteger> coeffs,
java.math.BigInteger degree) |
IConstr |
addAtMostOnTheFly(IVecInt literals,
IVecInt coeffs,
int degree) |
ObjectiveFunction |
getObjectiveFunction() |
addAtMostOnTheFly, addClauseOnTheFly, backtrack, currentDecisionLevel, getLearnedConstraints, getLiteralsPropagatedAt, getLogPrefix, getVariableHeuristics, nVars, removeSubsumedConstr, stop, suggestNextLiteralToBranchOn, truthValue