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

Packages that use MinimizationStrategy

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

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

void	Explainer.setMinimizationStrategy(MinimizationStrategy explainer)
void	Xplain.setMinimizationStrategy(MinimizationStrategy strategy)
void	HighLevelXplain.setMinimizationStrategy(MinimizationStrategy strategy)