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() |