org.sat4j.tools.xplain
Interface MinimizationStrategy

All Superinterfaces:

Serializable

All Known Implementing Classes:

DeletionStrategy, InsertionStrategy, QuickXplain2001Strategy, QuickXplainStrategy

public interface MinimizationStrategy
extends Serializable

Minimization technique used to reduce an unsatisfiable set of constraints into a minimally unsatisfiable subformula (MUS).

Since:

2.1

Author:

daniel

Method Summary

void	cancelExplanationComputation()
IVecInt	explain(ISolver solver, Map<Integer,?> constrs, IVecInt assumps)

Method Detail

explain

IVecInt explain(ISolver solver,
                Map<Integer,?> constrs,
                IVecInt assumps)
                throws TimeoutException

Parameters:

solver -

constrs -

assumps -

Returns:

Throws:

TimeoutException

Since:

2.1

cancelExplanationComputation

void cancelExplanationComputation()

Since:

2.1