EventType declared only if domain change

chocoteam · Oct 12, 2023 · 87cf1e5 · 87cf1e5
1 parent ee61b23
commit 87cf1e5
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/solver/src/main/java/org/chocosolver/solver/variables/view/integer/IntAffineView.java b/solver/src/main/java/org/chocosolver/solver/variables/view/integer/IntAffineView.java
@@ -151,11 +151,11 @@ public boolean updateLowerBound(int value, ICause cause) throws ContradictionExc
         } else {
             change = var.updateLowerBound(value + 1, this);
         }
-        IntEventType e = IntEventType.INCLOW;
-        if (isInstantiated()) {
-            e = IntEventType.INSTANTIATE;
-        }
         if (change) {
+            IntEventType e = IntEventType.INCLOW;
+            if (isInstantiated()) {
+                e = IntEventType.INSTANTIATE;
+            }
             this.notifyPropagators(e, cause);
             return true;
         } else {
@@ -180,11 +180,11 @@ public boolean updateUpperBound(int value, ICause cause) throws ContradictionExc
         } else {
             change = var.updateUpperBound(value, this);
         }
-        IntEventType e = IntEventType.DECUPP;
-        if (isInstantiated()) {
-            e = IntEventType.INSTANTIATE;
-        }
         if (change) {
+            IntEventType e = IntEventType.DECUPP;
+            if (isInstantiated()) {
+                e = IntEventType.INSTANTIATE;
+            }
             this.notifyPropagators(e, cause);
             return true;
         } else {