org.sat4j.tools.xplain
Class InsertionStrategy

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

public class InsertionStrategy
extends Object
implements MinimizationStrategy

An implementation of the ReplayXplain algorithm as explained by Ulrich Junker in the following paper:

Since:
2.1
Author:
daniel
See Also:
Serialized Form

Constructor Summary
InsertionStrategy()
           
 
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

InsertionStrategy

public InsertionStrategy()
Method Detail

cancelExplanationComputation

public void cancelExplanationComputation()
Specified by:
cancelExplanationComputation in interface MinimizationStrategy
Since:
2.1

explain

public IVecInt explain(ISolver solver,
                       Map<Integer,?> constrs,
                       IVecInt assumps)
                throws TimeoutException
Specified by:
explain in interface MinimizationStrategy
Returns:
Throws:
TimeoutException
Since:
2.1

toString

public String toString()
Overrides:
toString in class Object


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