org.sat4j.pb

Class PseudoIteratorDecorator

java.lang.Object

org.sat4j.tools.SolverDecorator<IPBSolver>

org.sat4j.pb.PBSolverDecorator

org.sat4j.pb.PseudoOptDecorator

org.sat4j.pb.PseudoIteratorDecorator

All Implemented Interfaces:

Serializable, IPBSolver, IOptimizationProblem, IProblem, ISolver, RandomAccessModel

public class PseudoIteratorDecorator
extends PseudoOptDecorator

A decorator that computes all pseudo boolean models. It doesn't provide the minimal solution for the objective function.

Author:

anne

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
PseudoIteratorDecorator(IPBSolver solver)

Method Summary

Methods

Modifier and Type	Method and Description
void	discardCurrentSolution()

Methods inherited from class org.sat4j.pb.PseudoOptDecorator

admitABetterSolution, admitABetterSolution, calculateObjective, discard, forceObjectiveValueTo, getObjectiveValue, hasNoObjectiveFunction, isOptimal, isSatisfiable, isSatisfiable, isSatisfiable, isSatisfiable, model, model, modelWithInternalVariables, nonOptimalMeansSatisfiable, reset, setObjectiveFunction, setTimeout, setTimeoutForFindingBetterSolution, toString

Methods inherited from class org.sat4j.pb.PBSolverDecorator

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

Methods inherited from class org.sat4j.tools.SolverDecorator

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, setUnitClauseProvider, setVerbose, 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.IProblem

findModel, findModel, nConstraints, newVar, nVars, primeImplicant, primeImplicant, printInfos, printInfos

Methods inherited from interface org.sat4j.specs.ISolver

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, setUnitClauseProvider, setVerbose, unsatExplanation

Constructor Detail

PseudoIteratorDecorator

public PseudoIteratorDecorator(IPBSolver solver)

Method Detail

discardCurrentSolution

public void discardCurrentSolution()
                            throws ContradictionException

Specified by:

discardCurrentSolution in interface IOptimizationProblem

Overrides:

discardCurrentSolution in class PseudoOptDecorator

Throws:

ContradictionException