org.sat4j.tools.xplain

Class DeletionStrategy

java.lang.Object

org.sat4j.tools.xplain.DeletionStrategy

All Implemented Interfaces:

java.io.Serializable, MinimizationStrategy

public class DeletionStrategy
extends java.lang.Object
implements MinimizationStrategy

An implementation of the deletion based minimization.

Since:

2.1

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DeletionStrategy()

Method Summary

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()

Methods inherited from class java.lang.Object

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

Constructor Detail

DeletionStrategy

public DeletionStrategy()

Method Detail

cancelExplanationComputation

public void cancelExplanationComputation()

Specified by:

cancelExplanationComputation in interface MinimizationStrategy

explain

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

Specified by:

explain in interface MinimizationStrategy

Returns:

Throws:

TimeoutException

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object