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