org.sat4j.pb
Class PseudoIteratorDecorator

java.lang.Object
  extended by org.sat4j.tools.SolverDecorator<IPBSolver>
      extended by org.sat4j.pb.PBSolverDecorator
          extended by org.sat4j.pb.PseudoOptDecorator
              extended by org.sat4j.pb.PseudoIteratorDecorator
All Implemented Interfaces:
java.io.Serializable, IPBSolver, IOptimizationProblem, IProblem, ISolver

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
PseudoIteratorDecorator(IPBSolver solver)
           
 
Method Summary
 void discardCurrentSolution()
           
 
Methods inherited from class org.sat4j.pb.PseudoOptDecorator
admitABetterSolution, admitABetterSolution, calculateObjective, discard, forceObjectiveValueTo, getObjectiveValue, hasNoObjectiveFunction, isSatisfiable, isSatisfiable, isSatisfiable, isSatisfiable, model, model, nonOptimalMeansSatisfiable, reset, setObjectiveFunction, toString
 
Methods inherited from class org.sat4j.pb.PBSolverDecorator
addPseudoBoolean, getObjectiveFunction
 
Methods inherited from class org.sat4j.tools.SolverDecorator
addAllClauses, addAtLeast, addAtMost, addBlockingClause, addClause, clearDecorated, clearLearntClauses, decorated, expireTimeout, findModel, findModel, getStat, getTimeout, getTimeoutMs, isDBSimplificationAllowed, nConstraints, newVar, newVar, nextFreeVarId, nVars, printInfos, printStat, printStat, removeConstr, removeSubsumedConstr, setDBSimplificationAllowed, setExpectedNumberOfClauses, setSearchListener, setTimeout, setTimeoutMs, setTimeoutOnConflicts
 
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.IProblem
findModel, findModel, nConstraints, nVars, printInfos
 
Methods inherited from interface org.sat4j.specs.ISolver
addAllClauses, addAtLeast, addAtMost, addBlockingClause, addClause, clearLearntClauses, expireTimeout, getStat, getTimeout, getTimeoutMs, isDBSimplificationAllowed, newVar, newVar, nextFreeVarId, printStat, printStat, removeConstr, removeSubsumedConstr, setDBSimplificationAllowed, setExpectedNumberOfClauses, setSearchListener, setTimeout, setTimeoutMs, setTimeoutOnConflicts
 

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


Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.