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

Packages that use ISimplifier

Package	Description
org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.

Uses of ISimplifier in org.sat4j.minisat.core

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

Modifier and Type	Field and Description
ISimplifier	Solver.EXPENSIVE_SIMPLIFICATION
ISimplifier	Solver.EXPENSIVE_SIMPLIFICATION_WLONLY
static ISimplifier	Solver.NO_SIMPLIFICATION
ISimplifier	Solver.SIMPLE_SIMPLIFICATION

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

Modifier and Type	Method and Description
ISimplifier	ICDCL.getSimplifier()
ISimplifier	Solver.getSimplifier()

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

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