add PropagationEgine.schedule(Propagator<?> prop, int mask) method

chocoteam · Jun 2, 2024 · fa50903 · fa50903
1 parent 87a9524
commit fa50903
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/solver/src/main/java/org/chocosolver/solver/propagation/PropagationEngine.java b/solver/src/main/java/org/chocosolver/solver/propagation/PropagationEngine.java
@@ -309,6 +309,19 @@ public void schedule(Propagator<?> prop, int pindice, int mask) {
         notEmpty |= (1 << prop.doSchedule(pro_queue));
     }
 
+    public void schedule(Propagator<?> prop, int mask) {
+        int p = -1;
+        for (int i = 0; i < propagators.size(); i++) {
+            if (propagators.get(i) != null && propagators.get(i).equals(prop)) {
+                p = i;
+                break;
+            }
+        }
+        if (p != -1) {
+            schedule(prop, p, mask);
+        }
+    }
+
     /**
      * Exeucte a delayed propagator
      *