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