TestNicePossibleWorld

java.lang.Object

org.tweetyproject.logics.pl.test.TestNicePossibleWorld

public class TestNicePossibleWorld extends 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 Details
- TestNicePossibleWorld
  
  public TestNicePossibleWorld()
Method Details
- 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()