org.sat4j.tools.xplain
Interface XplainStrategy

All Known Implementing Classes:

QuickXplainStrategy, ReplayXplainStrategy

public interface XplainStrategy

Since:

2.1

Author:

daniel

Method Summary

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

Method Detail

explain

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

Parameters:

solver -

constrs -

assumps -

Returns:

Throws:

TimeoutException

Since:

2.1

cancelExplanationComputation

void cancelExplanationComputation()

Since:

2.1