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

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

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