public class TestNicePossibleWorld
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private static java.util.Set<Proposition> |
signature |
private NicePossibleWorld |
world |
private static java.util.Set<Proposition> |
worldProps |
Constructor and Description |
---|
TestNicePossibleWorld() |
Modifier and Type | Method and Description |
---|---|
void |
creation() |
void |
creationFailure() |
static void |
init() |
void |
initWorld() |
void |
invalidSignature() |
void |
signatureGrow() |
void |
signatureShrink() |
private static java.util.Set<Proposition> worldProps
private static java.util.Set<Proposition> signature
private NicePossibleWorld world