org.sat4j.minisat.constraints.pb
Class PBSolverClause

java.lang.Object
  org.sat4j.minisat.core.Solver<L>
      org.sat4j.minisat.constraints.pb.PBSolver<ILits>
          org.sat4j.minisat.constraints.pb.PBSolverClause

All Implemented Interfaces:

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

public class PBSolverClause
extends PBSolver<ILits>

See Also:

Serialized Form

Field Summary

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

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

Constructor Summary

PBSolverClause(AssertingClauseGenerator acg, LearningStrategy<ILits> learner, DataStructureFactory<ILits> dsf, IOrder<ILits> order)

Method Summary

java.lang.String

toString(java.lang.String prefix) Display a textual representation of the solver configuration.

Methods inherited from class org.sat4j.minisat.constraints.pb.PBSolver

analyze

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

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PBSolverClause

public PBSolverClause(AssertingClauseGenerator acg,
                      LearningStrategy<ILits> learner,
                      DataStructureFactory<ILits> dsf,
                      IOrder<ILits> order)

Method Detail

toString

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

Description copied from interface: ISolver

Display a textual representation of the solver configuration.

Specified by:

toString in interface ISolver

Overrides:

toString in class PBSolver<ILits>

Parameters:

prefix - the prefix to use on each line.

Returns:

a textual description of the solver internals.