public interface MinimizationStrategy
extends java.io.Serializable
Modifier and Type | Method and Description |
---|---|
void |
cancelExplanationComputation() |
IVecInt |
explain(ISolver solver,
java.util.Map<java.lang.Integer,?> constrs,
IVecInt assumps) |
IVecInt explain(ISolver solver, java.util.Map<java.lang.Integer,?> constrs, IVecInt assumps) throws TimeoutException
solver
- constrs
- assumps
- TimeoutException
void cancelExplanationComputation()