public class ScepticalLiteralTransformationFunctionTest
extends java.lang.Object
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 and Description |
---|
ScepticalLiteralTransformationFunctionTest() |
Modifier and Type | Method and Description |
---|---|
void |
testAttackFailsWeakMaximality() |
void |
testDefeatFailsWeakMaximality() |
void |
testStrongAttackFailsWeakMaximalityForEvenCycles() |