org.sat4j
Class TestSatAssumps

java.lang.Object
  org.sat4j.TestSatAssumps

public class TestSatAssumps
extends Object

Constructor Summary

TestSatAssumps()

Method Summary

void	testIterativeAssumptionCallsWithList()
void	testIterativeAssumptionCallsWithSet()
void	testIterativeCorrectWay()

Methods inherited from class java.lang.Object

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

Constructor Detail

TestSatAssumps

public TestSatAssumps()

Method Detail

testIterativeAssumptionCallsWithSet

public void testIterativeAssumptionCallsWithSet()
                                         throws FileNotFoundException,
                                                ParseFormatException,
                                                IOException,
                                                ContradictionException,
                                                TimeoutException

Throws:

FileNotFoundException

ParseFormatException

IOException

ContradictionException

TimeoutException

testIterativeAssumptionCallsWithList

public void testIterativeAssumptionCallsWithList()
                                          throws FileNotFoundException,
                                                 ParseFormatException,
                                                 IOException,
                                                 ContradictionException,
                                                 TimeoutException

Throws:

FileNotFoundException

ParseFormatException

IOException

ContradictionException

TimeoutException

testIterativeCorrectWay

public void testIterativeCorrectWay()
                             throws FileNotFoundException,
                                    ParseFormatException,
                                    IOException,
                                    ContradictionException,
                                    TimeoutException

Throws:

FileNotFoundException

ParseFormatException

IOException

ContradictionException

TimeoutException