Package org.tweetyproject.logics.pl.test
Class TestNicePossibleWorld
java.lang.Object
org.tweetyproject.logics.pl.test.TestNicePossibleWorld
-
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()
-