org.metacsp.tests

Class TestBooleanSAT

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

org.metacsp.tests.TestBooleanSAT

All Implemented Interfaces:

junit.framework.Test

public class TestBooleanSAT
extends junit.framework.TestCase

Constructor Summary

Constructors

Constructor and Description
TestBooleanSAT()

Method Summary

Modifier and Type	Method and Description
void	setUp()
void	tearDown()
void	testBooleanSATAndUNSATResult()
void	testBooleanSATResult()
void	testBooleanSATResultWithWFF()
void	testBooleanUNSATResultWithWFF()

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, 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

TestBooleanSAT

public TestBooleanSAT()

Method Detail

setUp

public void setUp()
           throws java.lang.Exception

Overrides:

setUp in class junit.framework.TestCase

Throws:

java.lang.Exception

tearDown

public void tearDown()
              throws java.lang.Exception

Overrides:

tearDown in class junit.framework.TestCase

Throws:

java.lang.Exception

testBooleanSATResult

public void testBooleanSATResult()

testBooleanSATResultWithWFF

public void testBooleanSATResultWithWFF()

testBooleanSATAndUNSATResult

public void testBooleanSATAndUNSATResult()

testBooleanUNSATResultWithWFF

public void testBooleanUNSATResultWithWFF()