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

LitTest(java.lang.String arg0)
Constructor for LitTest.

Method Summary

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(java.lang.String arg0)

Constructor for LitTest.

Parameters:

arg0 -

Method Detail

setUp

protected void setUp()
              throws java.lang.Exception

Overrides:

setUp in class junit.framework.TestCase

Throws:

java.lang.Exception

testNot

public void testNot()

testVar

public void testVar()

testEqualsObject

public void testEqualsObject()

testToString

public void testToString()

testTruthValue

public void testTruthValue()