minor update to equivalence for AFs

Author: larsbengel

…ung/equivalence/IdentityEquivalence.java …ng/equivalence/SyntacticEquivalence.javaorg-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/equivalence/IdentityEquivalence.java renamed to org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/equivalence/SyntacticEquivalence.java org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/equivalence/IdentityEquivalence.java renamed to org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/equivalence/SyntacticEquivalence.java

@@ -14,44 +14,41 @@
  *  You should have received a copy of the GNU Lesser General Public License
  *  along with this program. If not, see <http://www.gnu.org/licenses/>.
  *
- *  Copyright 2023 The TweetyProject Team <http://tweetyproject.org/contact/>
+ *  Copyright 2025 The TweetyProject Team <http://tweetyproject.org/contact/>
  */
 package org.tweetyproject.arg.dung.equivalence;
 
-import java.util.Collection;
-
 import org.tweetyproject.arg.dung.syntax.DungTheory;
 
+import java.util.Collection;
+
 /**
  * This class defines 'syntactic' equivalence of {@link DungTheory Argumentation Frameworks},
  * i.e., it checks whether two AFs have exactly the same arguments and attacks.
  *
- * @author Julian Sander
+ * @author Julian Sander, Lars Bengel
  */
-public class IdentityEquivalence implements Equivalence<DungTheory>  {
-
-	@Override
-	public boolean isEquivalent(DungTheory obj1, DungTheory obj2) {
-		return obj1.equals(obj2);
-	}
+public class SyntacticEquivalence implements Equivalence<DungTheory> {
+    @Override
+    public boolean isEquivalent(DungTheory theory1, DungTheory theory2) {
+        if (!theory1.getNodes().equals(theory2.getNodes())) return false;
+        return theory1.getAttacks().equals(theory2.getAttacks());
+    }
 
-	@Override
-	public boolean isEquivalent(Collection<DungTheory> objects) {
-		DungTheory first = objects.iterator().next();
-		for (DungTheory framework : objects) {
-			if(framework == first) {
-				continue;
-			}
-			if(!this.isEquivalent(framework, first)) {
-				return false;
-			}
-		}
-		return true;
-	}
+    @Override
+    public boolean isEquivalent(Collection<DungTheory> theories) {
+        DungTheory first = theories.iterator().next();
 
-	@Override
-	public String getName() {
-		return "Syntactic Equivalence";
-	}
+        for(DungTheory theory : theories) {
+            if (!isEquivalent(theory, first)) {
+                return false;
+            }
+        }
+        return true;
+    }
 
+    @Override
+    public String getName() {
+        return "Syntactic Equivalence";
+    }
 }

org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/reasoner/AbstractExtensionReasoner.java

@@ -103,6 +103,7 @@ public static AbstractExtensionReasoner getSimpleReasonerForSemantics(Semantics
             case UD -> new UndisputedReasoner();
             case SUD -> new StronglyUndisputedReasoner();
             case IS -> new SimpleInitialReasoner();
+            case UC -> new SerialisedExtensionReasoner(Semantics.UC);
             default -> throw new IllegalArgumentException("Unknown semantics.");
         };
     }