public class QuickXplainStrategy extends java.lang.Object implements MinimizationStrategy
Constructor and Description |
---|
QuickXplainStrategy() |
Modifier and Type | Method and Description |
---|---|
void |
cancelExplanationComputation() |
IVecInt |
explain(ISolver solver,
java.util.Map<java.lang.Integer,?> constrs,
IVecInt assumps) |
java.lang.String |
toString() |
public void cancelExplanationComputation()
cancelExplanationComputation
in interface MinimizationStrategy
public IVecInt explain(ISolver solver, java.util.Map<java.lang.Integer,?> constrs, IVecInt assumps) throws TimeoutException
explain
in interface MinimizationStrategy
TimeoutException
public java.lang.String toString()
toString
in class java.lang.Object