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

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
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()