org.sat4j

Class TestSatAssumps

java.lang.Object

org.sat4j.TestSatAssumps

public class TestSatAssumps
extends Object

Constructor Summary

Constructors

Constructor and Description
TestSatAssumps()

Method Summary

Methods

Modifier and Type	Method and Description
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,
                                                org.sat4j.reader.ParseFormatException,
                                                IOException,
                                                org.sat4j.specs.ContradictionException,
                                                org.sat4j.specs.TimeoutException

Throws:

FileNotFoundException

org.sat4j.reader.ParseFormatException

IOException

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testIterativeAssumptionCallsWithList

public void testIterativeAssumptionCallsWithList()
                                          throws FileNotFoundException,
                                                 org.sat4j.reader.ParseFormatException,
                                                 IOException,
                                                 org.sat4j.specs.ContradictionException,
                                                 org.sat4j.specs.TimeoutException

Throws:

FileNotFoundException

org.sat4j.reader.ParseFormatException

IOException

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testIterativeCorrectWay

public void testIterativeCorrectWay()
                             throws FileNotFoundException,
                                    org.sat4j.reader.ParseFormatException,
                                    IOException,
                                    org.sat4j.specs.ContradictionException,
                                    org.sat4j.specs.TimeoutException

Throws:

FileNotFoundException

org.sat4j.reader.ParseFormatException

IOException

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException