org.sat4j.tools
Class RemiUtils

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

public final class RemiUtils
extends Object

Class dedicated to Remi Coletta utility methods :-)

Author:
leberre

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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

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


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