SingleSolutionTest (SAT4J core 2.1.0 Test API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

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
extends junit.framework.TestCase

Constructor Summary
`SingleSolutionTest(java.lang.String name)`

Method Summary
`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 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(java.lang.String name)

Method Detail

setUp

protected void setUp()
              throws java.lang.Exception

Overrides:: setUp in class junit.framework.TestCase

Throws:: java.lang.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