org.sat4j.pb.core
Class PBSolverResolution

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

All Implemented Interfaces:

java.io.Serializable, org.sat4j.minisat.core.Learner, org.sat4j.minisat.core.UnitPropagationListener, IPBSolver, org.sat4j.specs.IProblem, org.sat4j.specs.ISolver

public class PBSolverResolution
extends PBSolver<org.sat4j.minisat.core.ILits>

See Also:

Serialized Form

Field Summary

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

EXPENSIVE_SIMPLIFICATION, NO_SIMPLIFICATION, SIMPLE_SIMPLIFICATION

Constructor Summary

PBSolverResolution(org.sat4j.minisat.core.AssertingClauseGenerator acg, org.sat4j.minisat.core.LearningStrategy<org.sat4j.minisat.core.ILits,PBDataStructureFactory<org.sat4j.minisat.core.ILits>> learner, PBDataStructureFactory<org.sat4j.minisat.core.ILits> dsf, org.sat4j.minisat.core.IOrder<org.sat4j.minisat.core.ILits> order, org.sat4j.minisat.core.RestartStrategy restarter)

PBSolverResolution(org.sat4j.minisat.core.AssertingClauseGenerator acg, org.sat4j.minisat.core.LearningStrategy<org.sat4j.minisat.core.ILits,PBDataStructureFactory<org.sat4j.minisat.core.ILits>> learner, PBDataStructureFactory<org.sat4j.minisat.core.ILits> dsf, org.sat4j.minisat.core.SearchParams params, org.sat4j.minisat.core.IOrder<org.sat4j.minisat.core.ILits> order, org.sat4j.minisat.core.RestartStrategy restarter)

Method Summary

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

addPseudoBoolean, getExplanation, setListOfVariablesForExplanation, setObjectiveFunction

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

addAllClauses, addAtLeast, addAtMost, addClause, analyze, assume, claBumpActivity, clearLearntClauses, decisionLevel, decode2dimacs, enqueue, enqueue, expireTimeout, findModel, findModel, getDSFactory, getIthConstr, getOrder, getOutLearnt, getStat, getStats, getTimeout, getVocabulary, isSatisfiable, isSatisfiable, isSatisfiable, isSatisfiable, learn, model, model, nConstraints, newVar, newVar, nVars, printInfos, printStat, printStat, propagate, removeConstr, reset, setDataStructureFactory, setExpectedNumberOfClauses, setOrder, setRestartStrategy, setSearchListener, setSearchParams, setSimplifier, setSimplifier, setTimeout, setTimeoutMs, setTimeoutOnConflicts, simplifyDB, toString, toString, varBumpActivity

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.sat4j.specs.ISolver

addAllClauses, addAtLeast, addAtMost, addClause, clearLearntClauses, expireTimeout, getStat, getTimeout, newVar, newVar, printStat, printStat, removeConstr, reset, setExpectedNumberOfClauses, setTimeout, setTimeoutMs, setTimeoutOnConflicts, toString

Methods inherited from interface org.sat4j.specs.IProblem

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

Constructor Detail

PBSolverResolution

public PBSolverResolution(org.sat4j.minisat.core.AssertingClauseGenerator acg,
                          org.sat4j.minisat.core.LearningStrategy<org.sat4j.minisat.core.ILits,PBDataStructureFactory<org.sat4j.minisat.core.ILits>> learner,
                          PBDataStructureFactory<org.sat4j.minisat.core.ILits> dsf,
                          org.sat4j.minisat.core.SearchParams params,
                          org.sat4j.minisat.core.IOrder<org.sat4j.minisat.core.ILits> order,
                          org.sat4j.minisat.core.RestartStrategy restarter)

PBSolverResolution

public PBSolverResolution(org.sat4j.minisat.core.AssertingClauseGenerator acg,
                          org.sat4j.minisat.core.LearningStrategy<org.sat4j.minisat.core.ILits,PBDataStructureFactory<org.sat4j.minisat.core.ILits>> learner,
                          PBDataStructureFactory<org.sat4j.minisat.core.ILits> dsf,
                          org.sat4j.minisat.core.IOrder<org.sat4j.minisat.core.ILits> order,
                          org.sat4j.minisat.core.RestartStrategy restarter)