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

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

worldProps

private static java.util.Set<Proposition> worldProps

signature

private static java.util.Set<Proposition> signature

world
```
private NicePossibleWorld world
```

Constructor Detail
- TestNicePossibleWorld
```
public TestNicePossibleWorld()
```

Method Detail

init
```
public static void init()
```

initWorld
```
public void initWorld()
```

creation
```
public void creation()
```

creationFailure
```
public void creationFailure()
```

signatureGrow
```
public void signatureGrow()
```

signatureShrink
```
public void signatureShrink()
```

invalidSignature
```
public void invalidSignature()
```