org.sat4j.tools.xplain
Class QuickXplain2001Strategy

java.lang.Object
  org.sat4j.tools.xplain.QuickXplain2001Strategy

All Implemented Interfaces:

Serializable, MinimizationStrategy

public class QuickXplain2001Strategy
extends Object
implements MinimizationStrategy

An implementation of the QuickXplain algorithm as explained by Ulrich Junker in the following paper:

Since:

2.1

See Also:

Serialized Form

Constructor Summary

QuickXplain2001Strategy()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

QuickXplain2001Strategy

public QuickXplain2001Strategy()

Method Detail

cancelExplanationComputation

public void cancelExplanationComputation()

Specified by:

cancelExplanationComputation in interface MinimizationStrategy

explain

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

Specified by:

explain in interface MinimizationStrategy

Returns:

Throws:

TimeoutException

toString

public String toString()

Overrides:

toString in class Object