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

    Constructors
    Constructor
    Description
    DefaultificationTest(String testName)
    Create the test case

  • Method Summary

    Modifier and Type
    Method
    Description
    static junit.framework.Test
    suite()
     
    void
    testDefaultificationOfAlreadyDefaulticated()
    defaultification of already defaultified test
    void
    testSimpleDefaultifcation()
    defaultification test

    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 Details

    • DefaultificationTest

      public DefaultificationTest(String testName)
      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