org.semanticweb.owlapi.normalform
Class NNFTestCase

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by org.semanticweb.owlapi.normalform.NNFTestCase
All Implemented Interfaces:
junit.framework.Test

public class NNFTestCase
extends junit.framework.TestCase

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 06-Jun-2008


Constructor Summary
NNFTestCase()
           
 
Method Summary
 void testDoubleNegation()
           
 void testNamedClass()
           
 void testNestedA()
           
 void testNestedB()
           
 void testObjectAll()
           
 void testObjectHasValue()
           
 void testObjectIntersectionOf()
           
 void testObjectMax()
           
 void testObjectMin()
           
 void testObjectSome()
           
 void testObjectUnionOf()
           
 void testTripleNegation()
           
 
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

NNFTestCase

public NNFTestCase()
Method Detail

testNamedClass

public void testNamedClass()

testObjectIntersectionOf

public void testObjectIntersectionOf()

testObjectUnionOf

public void testObjectUnionOf()

testDoubleNegation

public void testDoubleNegation()

testTripleNegation

public void testTripleNegation()

testObjectSome

public void testObjectSome()

testObjectAll

public void testObjectAll()

testObjectHasValue

public void testObjectHasValue()

testObjectMin

public void testObjectMin()

testObjectMax

public void testObjectMax()

testNestedA

public void testNestedA()

testNestedB

public void testNestedB()