Package net.sf.tweety.logics.pl.test
Class TestNicePossibleWorld
- java.lang.Object
-
- net.sf.tweety.logics.pl.test.TestNicePossibleWorld
-
public class TestNicePossibleWorld extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description TestNicePossibleWorld()
-
Method Summary
Modifier and Type Method Description void
creation()
void
creationFailure()
static void
init()
void
initWorld()
void
invalidSignature()
void
signatureGrow()
void
signatureShrink()
-