org.sat4j.tools.xplain
Class QuickXplainStrategy

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

All Implemented Interfaces:

XplainStrategy

public class QuickXplainStrategy
extends Object
implements XplainStrategy

Since:

2.1

Constructor Summary

QuickXplainStrategy()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

QuickXplainStrategy

public QuickXplainStrategy()

Method Detail

cancelExplanationComputation

public void cancelExplanationComputation()

Specified by:

cancelExplanationComputation in interface XplainStrategy

explain

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

Specified by:

explain in interface XplainStrategy

Returns:

Throws:

TimeoutException