org.sat4j.minisat

Class TestAssertion

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

org.sat4j.minisat.TestAssertion

All Implemented Interfaces:

junit.framework.Test

public class TestAssertion
extends junit.framework.TestCase

Author:

roussel To change the template for this generated type comment go to Window>Preferences>Java>Code Generation>Code and Comments

Constructor Summary

Constructors

Constructor and Description
TestAssertion()

Method Summary

Methods

Modifier and Type	Method and Description
void	testAssertion()

Methods inherited from class junit.framework.TestCase

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

TestAssertion

public TestAssertion()

Method Detail

testAssertion

public void testAssertion()