org.sat4j.tools.xplain
Class ReplayXplainStrategy

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

All Implemented Interfaces:

XplainStrategy

public class ReplayXplainStrategy
extends java.lang.Object
implements XplainStrategy

Since:

2.1

Author:

daniel

Constructor Summary

ReplayXplainStrategy()

Method Summary

void	cancelExplanationComputation()
IVecInt	explain(ISolver solver, java.util.Map<java.lang.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

ReplayXplainStrategy

public ReplayXplainStrategy()

Method Detail

cancelExplanationComputation

public void cancelExplanationComputation()

Specified by:

cancelExplanationComputation in interface XplainStrategy

Since:

2.1

explain

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

Specified by:

explain in interface XplainStrategy

Returns:

Throws:

TimeoutException

Since:

2.1