DefaultificationTest

java.lang.Object
- junit.framework.Assert
- - junit.framework.TestCase
  - - net.sf.tweety.lp.asp.syntax.DefaultificationTest

public class DefaultificationTest
extends junit.framework.TestCase

Constructors
Constructor and Description
`DefaultificationTest(java.lang.String testName)` Create the test case

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static junit.framework.Test`	`suite()`
`void`	`testDefaultificationOfAlreadyDefaulticated()`
`void`	`testSimpleDefaultifcation()`

Methods inherited from class junit.framework.TestCase
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, countTestCases, createResult, fail, fail, failNotEquals, failNotSame, failSame, format, getName, run, run, runBare, runTest, setName, setUp, tearDown, toString

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Class DefaultificationTest