|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use LearningStrategy | |
---|---|
org.sat4j.minisat.constraints.pb | Implementations of pseudo boolean contraints. |
org.sat4j.minisat.core | Implementation of the MiniSAT solver skeleton. |
org.sat4j.minisat.learning | Various learning strategies. |
Uses of LearningStrategy in org.sat4j.minisat.constraints.pb |
---|
Constructors in org.sat4j.minisat.constraints.pb with parameters of type LearningStrategy | |
---|---|
PBSolver(AssertingClauseGenerator acg,
LearningStrategy learner,
DataStructureFactory dsf,
IOrder order)
|
|
PBSolverCard(AssertingClauseGenerator acg,
LearningStrategy learner,
DataStructureFactory dsf,
IOrder order)
|
|
PBSolverClause(AssertingClauseGenerator acg,
LearningStrategy learner,
DataStructureFactory dsf,
IOrder order)
|
|
PBSolverWithImpliedClause(AssertingClauseGenerator acg,
LearningStrategy learner,
DataStructureFactory dsf,
IOrder order)
|
Uses of LearningStrategy in org.sat4j.minisat.core |
---|
Constructors in org.sat4j.minisat.core with parameters of type LearningStrategy | |
---|---|
Solver(AssertingClauseGenerator acg,
LearningStrategy learner,
DataStructureFactory dsf,
IOrder order)
creates a Solver without LearningListener. |
|
Solver(AssertingClauseGenerator acg,
LearningStrategy learner,
DataStructureFactory dsf,
SearchParams params,
IOrder order)
|
Uses of LearningStrategy in org.sat4j.minisat.learning |
---|
Classes in org.sat4j.minisat.learning that implement LearningStrategy | |
---|---|
class |
ActiveLearning
Learn clauses with a great number of active variables. |
class |
FixedLengthLearning
A learning scheme for learning constraints of size smaller than a given constant. |
class |
LimitedLearning
Learn only clauses which size is smaller than a percentage of the number of variables. |
class |
MiniSATLearning
MiniSAT learning scheme. |
class |
NoLearningButHeuristics
Allows MiniSAT to do backjumping without learning. |
class |
NoLearningNoHeuristics
Allows MiniSAT to do backjumping without learning. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |