bugfix

Author: larsbengel

org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/equivalence/NormalDeletionEquivalence.java

@@ -103,9 +103,6 @@ public static boolean isNormalDeletionEquivalent(DungTheory theory1, DungTheory
             DungTheory th2 = theory2.clone();
             th2.removeAll(subset);
             if (!reasoner.getModels(th1).equals(reasoner.getModels(th2))) {
-                //System.out.println(subset);
-                //System.out.println(th1);
-                //System.out.println(th2);
                 return false;
             }
         }

org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/equivalence/WeakExpansionEquivalence.java

@@ -78,9 +78,7 @@ public boolean isEquivalent(DungTheory theory1, DungTheory theory2) {
                 if (!new HashSet<>(theory1).equals(new HashSet<>(theory2))) return false;
                 return exts1.equals(exts2);
             }
-            default -> {
-                throw new IllegalArgumentException("Unsupported Semantics");
-            }
+            default -> throw new IllegalArgumentException("Unsupported Semantics");
         }
     }
 

org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/writer/TikzWriter.java

@@ -22,7 +22,6 @@
 import org.tweetyproject.arg.dung.syntax.Argument;
 import org.tweetyproject.arg.dung.syntax.Attack;
 import org.tweetyproject.arg.dung.syntax.DungTheory;
-import org.tweetyproject.commons.util.SetTools;
 
 import java.io.File;
 import java.io.IOException;