Class TestDTree

java.lang.Object
org.tweetyproject.arg.delp.TestDTree

public final class TestDTree extends Object
Testing dialectical trees.
Author:
Linda.Briesemeister
  • Constructor Details

    • TestDTree

      public TestDTree()
  • Method Details

    • init

      public static void init() throws IOException
      Throws:
      IOException
    • createWithNullArg

      public void createWithNullArg()
    • creation

      public void creation()
    • defeatersWhenNull1

      public void defeatersWhenNull1()
    • defeatersWhenNull2

      public void defeatersWhenNull2()
    • properDefeater

      public void properDefeater()