Package org.tweetyproject.lp.asp.beliefdynamics

Class NaiveLiteralTransformationFunctionTest

java.lang.Object

org.tweetyproject.lp.asp.beliefdynamics.NaiveLiteralTransformationFunctionTest

public class NaiveLiteralTransformationFunctionTest
extends Object

Constructor Summary

Constructors

Constructor	Description
NaiveLiteralTransformationFunctionTest()

Method Summary

Modifier and Type	Method	Description
void	testFailsWeakMaximality()

Methods inherited from class java.lang.Object

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

Constructor Details

NaiveLiteralTransformationFunctionTest

public NaiveLiteralTransformationFunctionTest()

Method Details

testFailsWeakMaximality

public void testFailsWeakMaximality()