CPN arc successor and predecessor issue - fix 2081357 (#180)

Fixes: https://bugs.launchpad.net/tapaal/+bug/2081357
TAPAAL · Sep 27, 2024 · 509647c · 509647c
2 parents 6eca457 + 8f29529
commit 509647c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/main/java/dk/aau/cs/model/CPN/Expressions/PredecessorExpression.java b/src/main/java/dk/aau/cs/model/CPN/Expressions/PredecessorExpression.java
@@ -47,7 +47,7 @@ public boolean hasVariable(List<Variable> variables) {
 
     @Override
     public ColorExpression replace(Expression object1, Expression object2,boolean replaceAllInstances) {
-        if (object1.toString().equals(this.toString()) && object2 instanceof ColorExpression) {
+        if (this.equals(object1) && object2 instanceof ColorExpression) {
             ColorExpression obj2 = (ColorExpression)object2;
             obj2.setParent(parent);
             return obj2;

diff --git a/src/main/java/dk/aau/cs/model/CPN/Expressions/SuccessorExpression.java b/src/main/java/dk/aau/cs/model/CPN/Expressions/SuccessorExpression.java
@@ -47,7 +47,7 @@ public boolean hasVariable(List<Variable> variables) {
 
     @Override
     public ColorExpression replace(Expression object1, Expression object2,boolean replaceAllInstances) {
-        if (object1.toString().equals(this.toString()) && object2 instanceof ColorExpression) {
+        if (this.equals(object1) && object2 instanceof ColorExpression) {
             ColorExpression obj2 = (ColorExpression)object2;
             obj2.setParent(parent);
             return obj2;