public class NaiveLiteralTransformationFunctionTest
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 |
---|
NaiveLiteralTransformationFunctionTest() |
Modifier and Type | Method and Description |
---|---|
void |
testFailsWeakMaximality() |