org.sat4j

Class SingleSolutionTest

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

org.sat4j.SingleSolutionTest

All Implemented Interfaces:

junit.framework.Test

public class SingleSolutionTest
extends junit.framework.TestCase

Constructor Summary

Constructors

Constructor and Description
SingleSolutionTest(String name)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	setUp()
void	testHasASingleSolution()
void	testHasASingleSolutionIVecInt()
void	testHasNoSingleSolution()
void	testHasNoSingleSolutionUNSAT()

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, toString

Methods inherited from class junit.framework.Assert

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSame, format

Methods inherited from class java.lang.Object

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

Constructor Detail

SingleSolutionTest

public SingleSolutionTest(String name)

Method Detail

setUp

protected void setUp()
              throws Exception

Overrides:

setUp in class junit.framework.TestCase

Throws:

Exception

testHasASingleSolution

public void testHasASingleSolution()
                            throws org.sat4j.specs.ContradictionException,
                                   org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testHasNoSingleSolution

public void testHasNoSingleSolution()
                             throws org.sat4j.specs.ContradictionException,
                                    org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testHasNoSingleSolutionUNSAT

public void testHasNoSingleSolutionUNSAT()
                                  throws org.sat4j.specs.ContradictionException,
                                         org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testHasASingleSolutionIVecInt

public void testHasASingleSolutionIVecInt()
                                   throws org.sat4j.specs.ContradictionException,
                                          org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException