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

Packages that use LearnedConstraintsDeletionStrategy

Package	Description
org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.pb.core	Implementations of pseudo boolean solvers

Uses of LearnedConstraintsDeletionStrategy in org.sat4j.minisat.core

Fields in org.sat4j.minisat.core declared as LearnedConstraintsDeletionStrategy

Modifier and Type	Field and Description
LearnedConstraintsDeletionStrategy	Solver.glucose
protected LearnedConstraintsDeletionStrategy	Solver.learnedConstraintsDeletionStrategy
LearnedConstraintsDeletionStrategy	Solver.memory_based

Methods in org.sat4j.minisat.core that return LearnedConstraintsDeletionStrategy

Modifier and Type	Method and Description
LearnedConstraintsDeletionStrategy	Solver.fixedSize(int maxsize)

Methods in org.sat4j.minisat.core with parameters of type LearnedConstraintsDeletionStrategy

Modifier and Type	Method and Description
void	ICDCL.setLearnedConstraintsDeletionStrategy(LearnedConstraintsDeletionStrategy lcds)
void	Solver.setLearnedConstraintsDeletionStrategy(LearnedConstraintsDeletionStrategy lcds)

Uses of LearnedConstraintsDeletionStrategy in org.sat4j.pb.core

Fields in org.sat4j.pb.core declared as LearnedConstraintsDeletionStrategy

Modifier and Type	Field and Description
LearnedConstraintsDeletionStrategy	PBSolver.objectiveFunctionBased