org.sat4j.minisat.constraints.pb
Class PBSolver

java.lang.Object
  org.sat4j.minisat.core.Solver
      org.sat4j.minisat.constraints.pb.PBSolver

All Implemented Interfaces:

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

public class PBSolver
extends Solver

Author:

parrain To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

See Also:

Serialized Form

Field Summary

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

NO_SIMPLIFICATION, SIMPLE_SIMPLIFICATION

Constructor Summary

PBSolver(AssertingClauseGenerator acg, LearningStrategy learner, DataStructureFactory dsf, IOrder order)

Method Summary

int	analyze(Constr myconfl, Handle<Constr> outLearntRef)

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

addAllClauses, addAtLeast, addAtMost, addClause, addPseudoBoolean, assume, claBumpActivity, decisionLevel, decode2dimacs, enqueue, enqueue, getDSFactory, getIthConstr, getOrder, getOutLearnt, getStats, getTimeout, getVocabulary, isSatisfiable, isSatisfiable, learn, model, nConstraints, newVar, newVar, nVars, printStat, propagate, removeConstr, reset, setOrder, setSearchListener, setSimplifier, setTimeout, simplifyDB, toString, toString, varBumpActivity

Methods inherited from class java.lang.Object

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

Constructor Detail

PBSolver

public PBSolver(AssertingClauseGenerator acg,
                LearningStrategy learner,
                DataStructureFactory dsf,
                IOrder order)

Parameters:

acg -

learner -

dsf -

Method Detail

analyze

public int analyze(Constr myconfl,
                   Handle<Constr> outLearntRef)

Overrides:

analyze in class Solver