DefaultificationTest

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

All Implemented Interfaces:: junit.framework.Test

public class DefaultificationTest
extends junit.framework.TestCase

- Constructor Summary
  
  Constructors
  Constructor Description
  
  DefaultificationTest(java.lang.String testName)
  Create the test case
- Method Summary
  
  Modifier and Type Method 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, fail, fail, failNotEquals, failNotSame, failSame, format, getName, run, run, runBare, setName, toString
  - Methods inherited from class java.lang.Object
    equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - DefaultificationTest
```
public DefaultificationTest(java.lang.String testName)
```
    Create the test case
    
    Parameters:
    
    testName - name of the test case
- Method Detail
  - suite
```
public static junit.framework.Test suite()
```
    Returns:
    
    the suite of tests being tested
  - testSimpleDefaultifcation
```
public void testSimpleDefaultifcation()
```
  - testDefaultificationOfAlreadyDefaulticated
```
public void testDefaultificationOfAlreadyDefaulticated()
```