org.sat4j.tools
Class RemiUtils

java.lang.Object
  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