org.sat4j.minisat.core
Class LboolTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          org.sat4j.minisat.core.LboolTest

All Implemented Interfaces:

junit.framework.Test

public class LboolTest
extends junit.framework.TestCase

Author:

leberre

Constructor Summary

LboolTest(String arg0)
Constructor for LboolTest.

Method Summary

void	testEqualsObject()
void	testNot()
void	testToString()

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

LboolTest

public LboolTest(String arg0)

Constructor for LboolTest.

Parameters:

arg0 -

Method Detail

testNot

public void testNot()

testEqualsObject

public void testEqualsObject()

testToString

public void testToString()