org.sat4j.pb

Class PBTimeoutIsolator

java.lang.Object

org.sat4j.tools.SolverDecorator<IPBSolver>

org.sat4j.pb.PBSolverDecorator

org.sat4j.pb.PBTimeoutIsolator

All Implemented Interfaces:

Serializable, IPBSolver, IProblem, ISolver, RandomAccessModel

public class PBTimeoutIsolator
extends PBSolverDecorator

Solver Decorator to prevent the solver to receive a programmatic timeout change. It is expected to be useful when using ManyCore to isolate the timeout of a particular solver compared to the general timeout given to the other solvers.

Author:

leberre

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
PBTimeoutIsolator(IPBSolver solver)

Method Summary

Modifier and Type	Method and Description
void	setTimeout(int t)
void	setTimeoutMs(long t)
void	setTimeoutOnConflicts(int count)

Methods inherited from class org.sat4j.pb.PBSolverDecorator

addAtLeast, addAtLeast, addAtMost, addAtMost, addExactly, addExactly, addPseudoBoolean, getObjectiveFunction, setObjectiveFunction

Methods inherited from class org.sat4j.tools.SolverDecorator

addAllClauses, addAtLeast, addAtMost, addBlockingClause, addClause, addConstr, addExactly, addParity, clearDecorated, clearLearntClauses, createBlockingClauseForCurrentModel, decorated, discardCurrentModel, expireTimeout, findModel, findModel, getLogPrefix, getOriginInModel, getSearchListener, getSolvingEngine, getStat, getTimeout, getTimeoutMs, isDBSimplificationAllowed, isSatisfiable, isSatisfiable, isSatisfiable, isSatisfiable, isSolverKeptHot, isVerbose, model, model, modelWithInternalVariables, nConstraints, newVar, newVar, nextFreeVarId, nVars, primeImplicant, primeImplicant, printInfos, printInfos, printStat, printStat, printStat, realNumberOfVariables, registerLiteral, removeConstr, removeSubsumedConstr, reset, setDBSimplificationAllowed, setDecorated, setExpectedNumberOfClauses, setKeepSolverHot, setLogPrefix, setSearchListener, setUnitClauseConsumer, setUnitClauseProvider, setVerbose, toString, toString, unsatExplanation

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.sat4j.specs.ISolver

addAllClauses, addAtLeast, addAtMost, addBlockingClause, addClause, addConstr, addExactly, addParity, clearLearntClauses, createBlockingClauseForCurrentModel, discardCurrentModel, expireTimeout, getLogPrefix, getOriginInModel, getSearchListener, getSolvingEngine, getStat, getTimeout, getTimeoutMs, isDBSimplificationAllowed, isSolverKeptHot, isVerbose, modelWithInternalVariables, newVar, nextFreeVarId, printStat, printStat, printStat, realNumberOfVariables, registerLiteral, removeConstr, removeSubsumedConstr, reset, setDBSimplificationAllowed, setExpectedNumberOfClauses, setKeepSolverHot, setLogPrefix, setSearchListener, setUnitClauseConsumer, setUnitClauseProvider, setVerbose, toString, unsatExplanation

Methods inherited from interface org.sat4j.specs.IProblem

findModel, findModel, isSatisfiable, isSatisfiable, isSatisfiable, isSatisfiable, model, nConstraints, newVar, nVars, primeImplicant, primeImplicant, printInfos, printInfos

Methods inherited from interface org.sat4j.specs.RandomAccessModel

model

Constructor Detail

PBTimeoutIsolator

public PBTimeoutIsolator(IPBSolver solver)

Method Detail

setTimeoutOnConflicts

public void setTimeoutOnConflicts(int count)

Specified by:

setTimeoutOnConflicts in interface ISolver

Overrides:

setTimeoutOnConflicts in class SolverDecorator<IPBSolver>

setTimeout

public void setTimeout(int t)

Specified by:

setTimeout in interface ISolver

Overrides:

setTimeout in class SolverDecorator<IPBSolver>

setTimeoutMs

public void setTimeoutMs(long t)

Specified by:

setTimeoutMs in interface ISolver

Overrides:

setTimeoutMs in class SolverDecorator<IPBSolver>