Class NaiveLiteralTransformationFunctionTest
- java.lang.Object
-
- net.sf.tweety.lp.asp.beliefdynamics.NaiveLiteralTransformationFunctionTest
-
public class NaiveLiteralTransformationFunctionTest extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description NaiveLiteralTransformationFunctionTest()
-
Method Summary
Modifier and Type Method Description void
testFailsWeakMaximality()
-