|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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.PBSolverClause
public class PBSolverClause
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 | |
---|---|
PBSolverClause(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 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 |
---|
public PBSolverClause(AssertingClauseGenerator acg, LearningStrategy<ILits,PBDataStructureFactory<ILits>> learner, PBDataStructureFactory<ILits> dsf, IOrder<ILits> order)
Method Detail |
---|
public java.lang.String toString(java.lang.String prefix)
toString
in interface ISolver
toString
in class PBSolverCP<ILits>
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |