Class TestNicePossibleWorld

java.lang.Object
org.tweetyproject.logics.pl.test.TestNicePossibleWorld

public class TestNicePossibleWorld extends Object
  • 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()