net.sf.tweety.lp.asp.beliefdynamics

Class NaiveLiteralTransformationFunctionTest

java.lang.Object

net.sf.tweety.lp.asp.beliefdynamics.NaiveLiteralTransformationFunctionTest

public class NaiveLiteralTransformationFunctionTest
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
(package private) DLPAtom	a1
(package private) DLPAtom	a2
(package private) DLPAtom	a3
(package private) DLPAtom	a4
(package private) DLPAtom	b

Constructor Summary

Constructors

Constructor and Description
NaiveLiteralTransformationFunctionTest()

Method Summary

Modifier and Type	Method and Description
void	testFailsWeakMaximality()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

a1

DLPAtom a1

a2

DLPAtom a2

a3

DLPAtom a3

a4

DLPAtom a4

b

DLPAtom b

Constructor Detail

NaiveLiteralTransformationFunctionTest

public NaiveLiteralTransformationFunctionTest()

Method Detail

testFailsWeakMaximality

public void testFailsWeakMaximality()