Uses of Interface
org.sat4j.tools.xplain.MinimizationStrategy

Packages that use MinimizationStrategy

Package	Description
org.sat4j.tools.xplain	Implementation of an explanation engine in case of unsatisfiability.

Uses of MinimizationStrategy in org.sat4j.tools.xplain

Classes in org.sat4j.tools.xplain that implement MinimizationStrategy

Modifier and Type	Class and Description
class	DeletionStrategy An implementation of the deletion based minimization.
class	InsertionStrategy An implementation of the ReplayXplain algorithm as explained by Ulrich Junker in the following paper:
class	QuickXplain2001Strategy An implementation of the QuickXplain algorithm as explained by Ulrich Junker in the following paper:
class	QuickXplainStrategy An implementation of the QuickXplain algorithm as explained by Ulrich Junker in the following paper:

Methods in org.sat4j.tools.xplain with parameters of type MinimizationStrategy

Modifier and Type	Method and Description
void	Explainer.setMinimizationStrategy(MinimizationStrategy explainer)
void	Xplain.setMinimizationStrategy(MinimizationStrategy strategy)
void	HighLevelXplain.setMinimizationStrategy(MinimizationStrategy strategy)