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

  • 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()
     
    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 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()

    • testDefaultificationOfAlreadyDefaulticated

      public void testDefaultificationOfAlreadyDefaulticated()