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
-
-
Field Summary
Fields Modifier and Type Field Description private static java.util.Set<Proposition>
signature
private NicePossibleWorld
world
private static java.util.Set<Proposition>
worldProps
-
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()
-
-
-
Field Detail
-
worldProps
private static java.util.Set<Proposition> worldProps
-
signature
private static java.util.Set<Proposition> signature
-
world
private NicePossibleWorld world
-
-