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

Packages that use LearnedConstraintsDeletionStrategy

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

LearnedConstraintsDeletionStrategy	Solver.glucose
protected LearnedConstraintsDeletionStrategy	Solver.learnedConstraintsDeletionStrategy
LearnedConstraintsDeletionStrategy	Solver.memory_based

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

LearnedConstraintsDeletionStrategy

Solver.fixedSize(int maxsize)

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

void	Solver.setLearnedConstraintsDeletionStrategy(LearnedConstraintsDeletionStrategy lcds)
void	ICDCL.setLearnedConstraintsDeletionStrategy(LearnedConstraintsDeletionStrategy lcds)

Uses of LearnedConstraintsDeletionStrategy in org.sat4j.pb.core

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

LearnedConstraintsDeletionStrategy

PBSolver.objectiveFunctionBased