public class ConstraintRelaxingPseudoOptDecorator extends PBSolverDecorator implements IOptimizationProblem
Constructor and Description |
---|
ConstraintRelaxingPseudoOptDecorator(IPBSolver solver) |
Modifier and Type | Method and Description |
---|---|
boolean |
admitABetterSolution() |
boolean |
admitABetterSolution(IVecInt assumps) |
Number |
calculateObjective()
Deprecated.
|
void |
discard()
Deprecated.
|
void |
discardCurrentSolution() |
void |
forceObjectiveValueTo(Number forcedValue) |
Number |
getObjectiveValue() |
boolean |
hasNoObjectiveFunction() |
boolean |
isOptimal() |
boolean |
isSatisfiable() |
boolean |
isSatisfiable(boolean global) |
boolean |
isSatisfiable(IVecInt assumps) |
boolean |
isSatisfiable(IVecInt assumps,
boolean global) |
boolean |
nonOptimalMeansSatisfiable() |
void |
setTimeoutForFindingBetterSolution(int seconds) |
String |
toString(String prefix) |
addAtLeast, addAtLeast, addAtMost, addAtMost, addExactly, addExactly, addPseudoBoolean, getObjectiveFunction, setObjectiveFunction
addAllClauses, addAtLeast, addAtMost, addBlockingClause, addClause, addExactly, clearDecorated, clearLearntClauses, decorated, expireTimeout, findModel, findModel, getLogPrefix, getSearchListener, getSolvingEngine, getStat, getTimeout, getTimeoutMs, isDBSimplificationAllowed, isSolverKeptHot, isVerbose, model, model, modelWithInternalVariables, nConstraints, newVar, newVar, nextFreeVarId, nVars, primeImplicant, primeImplicant, printInfos, printInfos, printStat, printStat, printStat, realNumberOfVariables, registerLiteral, removeConstr, removeSubsumedConstr, reset, setDBSimplificationAllowed, setExpectedNumberOfClauses, setKeepSolverHot, setLogPrefix, setSearchListener, setTimeout, setTimeoutMs, setTimeoutOnConflicts, setVerbose, toString, unsatExplanation
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
findModel, findModel, model, nConstraints, newVar, nVars, primeImplicant, primeImplicant, printInfos, printInfos
model
addAllClauses, addAtLeast, addAtMost, addBlockingClause, addClause, addExactly, clearLearntClauses, expireTimeout, getLogPrefix, getSearchListener, getSolvingEngine, getStat, getTimeout, getTimeoutMs, isDBSimplificationAllowed, isSolverKeptHot, isVerbose, modelWithInternalVariables, newVar, nextFreeVarId, printStat, printStat, printStat, realNumberOfVariables, registerLiteral, removeConstr, removeSubsumedConstr, reset, setDBSimplificationAllowed, setExpectedNumberOfClauses, setKeepSolverHot, setLogPrefix, setSearchListener, setTimeout, setTimeoutMs, setTimeoutOnConflicts, setVerbose, unsatExplanation
public ConstraintRelaxingPseudoOptDecorator(IPBSolver solver)
public boolean isSatisfiable() throws TimeoutException
isSatisfiable
in interface IProblem
isSatisfiable
in class SolverDecorator<IPBSolver>
TimeoutException
public boolean isSatisfiable(boolean global) throws TimeoutException
isSatisfiable
in interface IProblem
isSatisfiable
in class SolverDecorator<IPBSolver>
TimeoutException
public boolean isSatisfiable(IVecInt assumps, boolean global) throws TimeoutException
isSatisfiable
in interface IProblem
isSatisfiable
in class SolverDecorator<IPBSolver>
TimeoutException
public boolean isSatisfiable(IVecInt assumps) throws TimeoutException
isSatisfiable
in interface IProblem
isSatisfiable
in class SolverDecorator<IPBSolver>
TimeoutException
public boolean admitABetterSolution() throws TimeoutException
admitABetterSolution
in interface IOptimizationProblem
TimeoutException
public boolean admitABetterSolution(IVecInt assumps) throws TimeoutException
admitABetterSolution
in interface IOptimizationProblem
TimeoutException
public boolean hasNoObjectiveFunction()
hasNoObjectiveFunction
in interface IOptimizationProblem
public boolean nonOptimalMeansSatisfiable()
nonOptimalMeansSatisfiable
in interface IOptimizationProblem
@Deprecated public Number calculateObjective()
calculateObjective
in interface IOptimizationProblem
public Number getObjectiveValue()
getObjectiveValue
in interface IOptimizationProblem
public void forceObjectiveValueTo(Number forcedValue) throws ContradictionException
forceObjectiveValueTo
in interface IOptimizationProblem
ContradictionException
@Deprecated public void discard()
discard
in interface IOptimizationProblem
public void discardCurrentSolution()
discardCurrentSolution
in interface IOptimizationProblem
public boolean isOptimal()
isOptimal
in interface IOptimizationProblem
public String toString(String prefix)
toString
in interface ISolver
toString
in class SolverDecorator<IPBSolver>
public void setTimeoutForFindingBetterSolution(int seconds)
setTimeoutForFindingBetterSolution
in interface IOptimizationProblem
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.