Uses of Interface
org.sat4j.minisat.core.LearningStrategy

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<L> learner, DataStructureFactory<L> dsf, IOrder<L> order)

PBSolver(AssertingClauseGenerator acg, LearningStrategy<L> learner, DataStructureFactory<L> dsf, SearchParams params, IOrder<L> order)

PBSolver(AssertingClauseGenerator acg, LearningStrategy<L> learner, DataStructureFactory<L> dsf, SearchParams params, IOrder<L> order, RestartStrategy restarter)

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

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

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

Uses of LearningStrategy in org.sat4j.minisat.core

Constructors in org.sat4j.minisat.core with parameters of type LearningStrategy

Solver(AssertingClauseGenerator acg, LearningStrategy<L> learner, DataStructureFactory<L> dsf, IOrder<L> order, RestartStrategy restarter)
creates a Solver without LearningListener.

Solver(AssertingClauseGenerator acg, LearningStrategy<L> learner, DataStructureFactory<L> dsf, SearchParams params, IOrder<L> order, RestartStrategy restarter)

Uses of LearningStrategy in org.sat4j.minisat.learning

Classes in org.sat4j.minisat.learning that implement LearningStrategy

class	ActiveLearning<L extends ILits> Learn clauses with a great number of active variables.
class	ClauseOnlyLearning<L extends ILits>
class	FixedLengthLearning<L extends ILits> A learning scheme for learning constraints of size smaller than a given constant.
class	LimitedLearning<L extends ILits> Learn only clauses which size is smaller than a percentage of the number of variables.
class	MiniSATLearning<L extends ILits> MiniSAT learning scheme.
class	NoLearningButHeuristics<L extends ILits> Allows MiniSAT to do backjumping without learning.
class	NoLearningNoHeuristics<L extends ILits> Allows MiniSAT to do backjumping without learning.
class	PercentLengthLearning<L extends ILits>