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