org.sat4j.tools.xplain
Class DeletionStrategy

java.lang.Object
  extended by org.sat4j.tools.xplain.DeletionStrategy
All Implemented Interfaces:
Serializable, MinimizationStrategy

public class DeletionStrategy
extends Object
implements MinimizationStrategy

An implementation of the deletion based minimization.

Since:
2.1
See Also:
Serialized Form

Constructor Summary
DeletionStrategy()
           
 
Method Summary
 void cancelExplanationComputation()
           
 IVecInt explain(ISolver solver, Map<Integer,?> constrs, IVecInt assumps)
           
 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,
                       Map<Integer,?> constrs,
                       IVecInt assumps)
                throws TimeoutException
Specified by:
explain in interface MinimizationStrategy
Returns:
Throws:
TimeoutException

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.