org.sat4j.pb

Interface IPBSolverService

All Superinterfaces:

ISolverService

All Known Implementing Classes:

PBSolver, PBSolverCautious, PBSolverClause, PBSolverCP, PBSolverResCP, PBSolverResolution, PBSolverWithImpliedClause

public interface IPBSolverService
extends ISolverService

Method Summary

Methods

Modifier and Type	Method and Description
IConstr	addAtMostOnTheFly(IVecInt literals, IVec<BigInteger> coeffs, BigInteger degree)
IConstr	addAtMostOnTheFly(IVecInt literals, IVecInt coeffs, int degree)
ObjectiveFunction	getObjectiveFunction()

Methods inherited from interface org.sat4j.specs.ISolverService

addAtMostOnTheFly, addClauseOnTheFly, backtrack, currentDecisionLevel, getLearnedConstraints, getLiteralsPropagatedAt, getLogPrefix, getVariableHeuristics, nVars, removeSubsumedConstr, stop, suggestNextLiteralToBranchOn, truthValue

Method Detail

addAtMostOnTheFly

IConstr addAtMostOnTheFly(IVecInt literals,
                        IVec<BigInteger> coeffs,
                        BigInteger degree)

addAtMostOnTheFly

IConstr addAtMostOnTheFly(IVecInt literals,
                        IVecInt coeffs,
                        int degree)

getObjectiveFunction

ObjectiveFunction getObjectiveFunction()