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

Packages that use ISimplifier

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

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

ISimplifier	Solver.getSimplifier()
ISimplifier	ICDCL.getSimplifier()

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

void	Solver.setSimplifier(ISimplifier simp)
void	ICDCL.setSimplifier(ISimplifier simp) Setup the reason simplification strategy.