org.sat4j.multicore
Class ManyCorePB

java.lang.Object
  org.sat4j.multicore.ManyCore<IPBSolver>
      org.sat4j.multicore.ManyCorePB

All Implemented Interfaces:

Serializable, IPBSolver, IProblem, ISolver

public class ManyCorePB
extends ManyCore<IPBSolver>
implements IPBSolver

See Also:

Serialized Form

Field Summary

Fields inherited from class org.sat4j.multicore.ManyCore

numberOfSolvers, solvers

Constructor Summary

ManyCorePB(ASolverFactory<IPBSolver> factory, String... solverNames)

Method Summary

IConstr	addPseudoBoolean(IVecInt lits, IVec<BigInteger> coeffs, boolean moreThan, BigInteger d)
ObjectiveFunction	getObjectiveFunction()
void	setObjectiveFunction(ObjectiveFunction obj)

Methods inherited from class org.sat4j.multicore.ManyCore

addAllClauses, addAtLeast, addAtMost, addBlockingClause, addClause, clearLearntClauses, expireTimeout, findModel, findModel, getLogPrefix, getSearchListener, getStat, getTimeout, getTimeoutMs, isDBSimplificationAllowed, isSatisfiable, isSatisfiable, isSatisfiable, isSatisfiable, isVerbose, model, model, nConstraints, newVar, newVar, nextFreeVarId, nVars, onFinishWithAnswer, printInfos, printStat, printStat, removeConstr, removeSubsumedConstr, reset, setDBSimplificationAllowed, setExpectedNumberOfClauses, setLogPrefix, setSearchListener, setTimeout, setTimeoutMs, setTimeoutOnConflicts, setVerbose, toString, unsatExplanation

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.sat4j.specs.ISolver

addAllClauses, addAtLeast, addAtMost, addBlockingClause, addClause, clearLearntClauses, expireTimeout, getLogPrefix, getSearchListener, getStat, getTimeout, getTimeoutMs, isDBSimplificationAllowed, isVerbose, newVar, newVar, nextFreeVarId, printStat, printStat, removeConstr, removeSubsumedConstr, reset, setDBSimplificationAllowed, setExpectedNumberOfClauses, setLogPrefix, setSearchListener, setTimeout, setTimeoutMs, setTimeoutOnConflicts, setVerbose, toString, unsatExplanation

Methods inherited from interface org.sat4j.specs.IProblem

findModel, findModel, isSatisfiable, isSatisfiable, isSatisfiable, isSatisfiable, model, model, nConstraints, nVars, printInfos

Constructor Detail

ManyCorePB

public ManyCorePB(ASolverFactory<IPBSolver> factory,
                  String... solverNames)

Method Detail

addPseudoBoolean

public IConstr addPseudoBoolean(IVecInt lits,
                                IVec<BigInteger> coeffs,
                                boolean moreThan,
                                BigInteger d)
                         throws ContradictionException

Specified by:

addPseudoBoolean in interface IPBSolver

Throws:

ContradictionException

setObjectiveFunction

public void setObjectiveFunction(ObjectiveFunction obj)

Specified by:

setObjectiveFunction in interface IPBSolver

getObjectiveFunction

public ObjectiveFunction getObjectiveFunction()

Specified by:

getObjectiveFunction in interface IPBSolver