Uses of Class
org.sat4j.minisat.core.LearnedConstraintsEvaluationType

Packages that use LearnedConstraintsEvaluationType

Package	Description
org.sat4j.minisat.core

Uses of LearnedConstraintsEvaluationType in org.sat4j.minisat.core

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

Modifier and Type	Method and Description
static LearnedConstraintsEvaluationType	LearnedConstraintsEvaluationType.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static LearnedConstraintsEvaluationType[]	LearnedConstraintsEvaluationType.values() Returns an array containing the constants of this enum type, in the order they are declared.

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

Modifier and Type	Method and Description
void	ICDCL.setLearnedConstraintsDeletionStrategy(ConflictTimer timer, LearnedConstraintsEvaluationType evaluation)
void	Solver.setLearnedConstraintsDeletionStrategy(ConflictTimer timer, LearnedConstraintsEvaluationType evaluation)
void	ICDCL.setLearnedConstraintsDeletionStrategy(LearnedConstraintsEvaluationType evaluation)
void	Solver.setLearnedConstraintsDeletionStrategy(LearnedConstraintsEvaluationType evaluation)