Package org.tweetyproject.lp.asp.syntax
Class DefaultificationTest
java.lang.Object
junit.framework.Assert
junit.framework.TestCase
org.tweetyproject.lp.asp.syntax.DefaultificationTest
- All Implemented Interfaces:
junit.framework.Test
public class DefaultificationTest
extends junit.framework.TestCase
Defaultification test
- Author:
- Matthias Thimm
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic junit.framework.Test
suite()
void
defaultification of already defaultified testvoid
defaultification testMethods 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
-
Constructor Details
-
DefaultificationTest
Create the test case- Parameters:
testName
- name of the test case
-
-
Method Details
-
suite
public static junit.framework.Test suite()- Returns:
- the suite of tests being tested
-
testSimpleDefaultifcation
public void testSimpleDefaultifcation()defaultification test -
testDefaultificationOfAlreadyDefaulticated
public void testDefaultificationOfAlreadyDefaulticated()defaultification of already defaultified test
-