org.sat4j.minisat.constraints

Class LitTest

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

org.sat4j.minisat.constraints.LitTest

All Implemented Interfaces:

junit.framework.Test

public class LitTest
extends junit.framework.TestCase

Author:

leberre

Constructor Summary

Constructors

Constructor and Description
LitTest(String arg0) Constructor for LitTest.

Method Summary

Methods

Modifier and Type	Method and Description
protected void	setUp()
void	testEqualsObject()
void	testNot()
void	testToString()
void	testTruthValue()
void	testVar()

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

LitTest

public LitTest(String arg0)

Constructor for LitTest.

Parameters:

arg0 -

Method Detail

setUp

protected void setUp()
              throws Exception

Overrides:

setUp in class junit.framework.TestCase

Throws:

Exception

testNot

public void testNot()

testVar

public void testVar()

testEqualsObject

public void testEqualsObject()

testToString

public void testToString()

testTruthValue

public void testTruthValue()