org.sat4j.pb.core
Class PBSolverMerging

java.lang.Object
  org.sat4j.minisat.core.Solver<L,PBDataStructureFactory<L>>
      org.sat4j.pb.core.PBSolver<L>
          org.sat4j.pb.core.PBSolverCP<ILits>
              org.sat4j.pb.core.PBSolverMerging

All Implemented Interfaces:

java.io.Serializable, Learner, UnitPropagationListener, IPBSolver, IProblem, ISolver

public class PBSolverMerging
extends PBSolverCP<ILits>

See Also:

Serialized Form

Field Summary

Fields inherited from class org.sat4j.pb.core.PBSolver

listOfVariables

Fields inherited from class org.sat4j.minisat.core.Solver

analyzer, dsfactory, EXPENSIVE_SIMPLIFICATION, NO_SIMPLIFICATION, rootLevel, SIMPLE_SIMPLIFICATION, trail, trailLim, voc

Constructor Summary

PBSolverMerging(AssertingClauseGenerator acg, LearningStrategy<ILits,PBDataStructureFactory<ILits>> learner, PBDataStructureFactory<ILits> dsf, IOrder<ILits> order)

Method Summary

java.lang.String

toString(java.lang.String prefix)

Methods inherited from class org.sat4j.pb.core.PBSolverCP

analyze, analyzeAtRootLevel, getExplanation

Methods inherited from class org.sat4j.pb.core.PBSolver

addPseudoBoolean, setListOfVariablesForExplanation, setObjectiveFunction

Methods inherited from class org.sat4j.minisat.core.Solver

addAllClauses, addAtLeast, addAtMost, addClause, addConstr, assume, cancelUntil, claBumpActivity, clearLearntClauses, decayActivities, decisionLevel, dimacs2internal, enqueue, enqueue, expireTimeout, findModel, findModel, getDSFactory, getIthConstr, getOrder, getOutLearnt, getStat, getStats, getTimeout, getTimeoutMs, getVocabulary, isDBSimplificationAllowed, isSatisfiable, isSatisfiable, isSatisfiable, isSatisfiable, learn, model, model, nAssigns, nConstraints, newVar, newVar, nVars, printInfos, printLearntClausesInfos, printStat, printStat, propagate, reduceDB, reduceDB, removeConstr, reset, setDataStructureFactory, setDBSimplificationAllowed, setExpectedNumberOfClauses, setOrder, setRestartStrategy, setSearchListener, setSearchParams, setSimplifier, setSimplifier, setTimeout, setTimeoutMs, setTimeoutOnConflicts, simplifyDB, toString, undoOne, varBumpActivity

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, addClause, clearLearntClauses, expireTimeout, getStat, getTimeout, getTimeoutMs, isDBSimplificationAllowed, newVar, newVar, printStat, printStat, removeConstr, reset, setDBSimplificationAllowed, setExpectedNumberOfClauses, setTimeout, setTimeoutMs, setTimeoutOnConflicts

Methods inherited from interface org.sat4j.specs.IProblem

findModel, findModel, isSatisfiable, isSatisfiable, isSatisfiable, isSatisfiable, model, model, nConstraints, nVars, printInfos

Constructor Detail

PBSolverMerging

public PBSolverMerging(AssertingClauseGenerator acg,
                       LearningStrategy<ILits,PBDataStructureFactory<ILits>> learner,
                       PBDataStructureFactory<ILits> dsf,
                       IOrder<ILits> order)

Method Detail

toString

public java.lang.String toString(java.lang.String prefix)

Specified by:

toString in interface ISolver

Overrides:

toString in class PBSolverCP<ILits>