Merge pull request #2090 from triska/morphing_propagators

FIXED: Queue triggered propagators to be processed after pexp/3 finishes
2023-10-09 13:20:44 -06:00
parent 4b9cf0952e cacc7f3193
commit c6976c0f92
1 changed files with 3 additions and 1 deletions
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -5498,7 +5498,9 @@ run_propagator(pexp(X,Y,Z), MState) -->
            )
        ;   nonvar(Y), Y > 0 ->
            (   { even(Y) } ->
-                { geq(Z, 0) }
+                { fd_get(Z, ZD0, ZPs0),
+                  domain_remove_smaller_than(ZD0, 0, ZDG0) },
+                fd_put(Z, ZDG0, ZPs0)
            ;   true
            ),
            (   { fd_get(X, XD, XL, XU, _), fd_get(Z, ZD, ZL, ZU, ZPs) } ->