org.sat4j.tools
Class RemiUtils

java.lang.Object
  extended by org.sat4j.tools.RemiUtils

public class RemiUtils
extends java.lang.Object

Class dedicated to Rémi Coletta utility methods :-)

Author:
leberre

Constructor Summary
RemiUtils()
           
 
Method Summary
static IVecInt backbone(ISolver s)
          Compute the set of literals common to all models of the formula.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RemiUtils

public RemiUtils()
Method Detail

backbone

public static IVecInt backbone(ISolver s)
                        throws TimeoutException
Compute the set of literals common to all models of the formula.

Parameters:
s - a solver already feeded
Returns:
the set of literals common to all models of the formula contained in the solver, in dimacs format.
Throws:
TimeoutException