org.sat4j.minisat.constraints
Class LitTest

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by org.sat4j.minisat.constraints.LitTest
All Implemented Interfaces:
junit.framework.Test

public class LitTest
extends junit.framework.TestCase

Author:
leberre

Constructor Summary
LitTest(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(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()


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.