it.unitn.disi.smatch.deciders
Class openSATcached

java.lang.Object
  it.unitn.disi.smatch.deciders.openSATcached

All Implemented Interfaces:

ISATSolver

public class openSATcached
extends java.lang.Object
implements ISATSolver

OpenSAT-based caching implementation.

Author:

Aliaksandr Autayeu avtaev@gmail.com

Constructor Summary

openSATcached()

Method Summary

boolean	isSatisfiable(java.lang.String input) This method can be used to call the OpenSAT .
static java.util.HashMap<java.lang.String,java.lang.Boolean>	readCache(java.lang.String fileName)
static void	reportStats()
static void	writeCache(java.util.HashMap<java.lang.String,java.lang.Boolean> h, java.lang.String fileName)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

openSATcached

public openSATcached()

Method Detail

isSatisfiable

public boolean isSatisfiable(java.lang.String input)
                      throws SMatchException

This method can be used to call the OpenSAT .

Specified by:

isSatisfiable in interface ISATSolver

Parameters:

input - The String that contains sat problem in DIMACS's format

Returns:

boolean True if the formula is satisfiable, false otherwise

Throws:

SMatchException

reportStats

public static void reportStats()

writeCache

public static void writeCache(java.util.HashMap<java.lang.String,java.lang.Boolean> h,
                              java.lang.String fileName)

readCache

public static java.util.HashMap<java.lang.String,java.lang.Boolean> readCache(java.lang.String fileName)