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

Packages that use SimplificationType

Package	Description
org.sat4j.minisat.core

Uses of SimplificationType in org.sat4j.minisat.core

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

Modifier and Type	Method and Description
static SimplificationType	SimplificationType.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static SimplificationType[]	SimplificationType.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 SimplificationType

Modifier and Type	Method and Description
void	ICDCL.setSimplifier(SimplificationType simp) Setup the reason simplification strategy.
void	Solver.setSimplifier(SimplificationType simp)