Remove and move comments

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index b6ad08b315fd93aedf2fd91965d59112ca325c25..43b8f26e84284b94a66a598a6629bdee0cbe7cbe 100644 (file)
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -4990,7 +4990,6 @@ run_propagator(ptzdiv(X,Y,Z), MState) -->
 run_propagator(pmod(X,Y,Z), MState) -->
         (   Y == 0 -> { false }
         ;   Y == Z -> { false }
-        % ;   nonvar(Y), Z == X -> true
         ;   X == Y -> kill(MState), queue_goal(Z = 0)
         ;   true
         ),
@@ -5008,7 +5007,7 @@ run_propagator(pmod(X,Y,Z), MState) -->
                 ),
                 { fd_get(X, XD0, XPs),
                   domain_remove_smaller_than(XD0, XMin, XD2) },
-                  fd_put(X, XD2, XPs)
+                fd_put(X, XD2, XPs)
                 % queue_goal(X #>= XMin)
             ;   true
             ),
@@ -5016,7 +5015,7 @@ run_propagator(pmod(X,Y,Z), MState) -->
                 XMax is Z + Y * ((XU - Z) div Y),
                 { fd_get(X, XD1, XPs),
                   domain_remove_greater_than(XD1, XMax, XD3) },
-                  fd_put(X, XD3, XPs)
+                fd_put(X, XD3, XPs)
                 % queue_goal(X #=< XMax)
             ;   true
             )
@@ -5041,13 +5040,13 @@ run_propagator(pmod(X,Y,Z), MState) -->
                     { fd_get(Y, YD, YPs),
                       YMin is Z + 1,
                       domain_remove_smaller_than(YD, YMin, YD1) },
-                      fd_put(Y, YD1, YPs)
+                    fd_put(Y, YD1, YPs)
                     % queue_goal(Y #> Z)
                 ;   Z < 0 ->
                     { fd_get(Y, YD, YPs),
                       YMax is Z - 1,
                       domain_remove_greater_than(YD, YMax, YD1) },
-                      fd_put(Y, YD1, YPs)
+                    fd_put(Y, YD1, YPs)
                     % queue_goal(Y #< Z)
                 ;   true
                 )
@@ -5067,7 +5066,7 @@ run_propagator(pmodz(X,Y,Z), MState) -->
                         queue_goal(Z = X)
                     ;   { fd_get(Z, ZD0, ZPs),
                           domain_remove_greater_than(ZD0, X, ZD2) },
-                          fd_put(Z, ZD2, ZPs)
+                        fd_put(Z, ZD2, ZPs)
                         % queue_goal(Z #=< X)
                     )
                 ;   X < 0 ->
@@ -5076,7 +5075,7 @@ run_propagator(pmodz(X,Y,Z), MState) -->
                         queue_goal(Z = X)
                     ;   { fd_get(Z, ZD0, ZPs),
                           domain_remove_smaller_than(ZD0, X, ZD2) },
-                          fd_put(Z, ZD2, ZPs)
+                        fd_put(Z, ZD2, ZPs)
                         % queue_goal(Z #>= X)
                     )
                 ),
@@ -5085,14 +5084,14 @@ run_propagator(pmodz(X,Y,Z), MState) -->
                     { fd_get(Z, ZD1, ZPs),
                       domain_remove_smaller_than(ZD1, 0, ZD3),
                       domain_remove_greater_than(ZD3, ZMax, ZD5) },
-                      fd_put(Z, ZD5, ZPs)
+                    fd_put(Z, ZD5, ZPs)
                     % queue_goal(Z in 0..ZMax)
                 ;   { fd_get(Y, _, n(YL), n(YU), _), YU < 0 } ->
                     ZMin is YL + 1,
                     { fd_get(Z, ZD1, ZPs),
                       domain_remove_greater_than(ZD1, 0, ZD3),
                       domain_remove_smaller_than(ZD3, ZMin, ZD5) },
-                      fd_put(Z, ZD5, ZPs)
+                    fd_put(Z, ZD5, ZPs)
                     % queue_goal(Z in ZMin..0)
                 ;   true
                 )
@@ -5107,7 +5106,7 @@ run_propagator(pmodz(X,Y,Z), MState) -->
                     { fd_get(Z, ZD1, ZPs),
                       domain_remove_greater_than(ZD1, 0, ZD3),
                       domain_remove_smaller_than(ZD3, ZMin, ZD5) },
-                      fd_put(Z, ZD5, ZPs)
+                    fd_put(Z, ZD5, ZPs)
                     % queue_goal(Z in ZMin..0)
                 )
             ;   Y > 0 ->
@@ -5118,7 +5117,7 @@ run_propagator(pmodz(X,Y,Z), MState) -->
                     { fd_get(Z, ZD1, ZPs),
                       domain_remove_smaller_than(ZD1, 0, ZD3),
                       domain_remove_greater_than(ZD3, ZMax, ZD5) },
-                      fd_put(Z, ZD5, ZPs)
+                    fd_put(Z, ZD5, ZPs)
                     % queue_goal(Z in 0..ZMax)
                 )
             )
@@ -5133,12 +5132,12 @@ run_propagator(pmodz(X,Y,Z), MState) -->
             ;   (   { fd_get(X, _, n(XL), n(XU), _), XL >= 0 } ->
                     { fd_get(Z, ZD0, ZPs),
                       domain_remove_greater_than(ZD0, XU, ZD2) },
-                      fd_put(Z, ZD2, ZPs)
+                    fd_put(Z, ZD2, ZPs)
                     % queue_goal(Z #=< XU)
                 ;   { fd_get(X, _, n(XL), n(XU), _), XU =< 0 } ->
                     { fd_get(Z, ZD0, ZPs),
                       domain_remove_smaller_than(ZD0, XL, ZD2) },
-                      fd_put(Z, ZD2, ZPs)
+                    fd_put(Z, ZD2, ZPs)
                     % queue_goal(Z #>= XL)
                 ;   true
                 ),
@@ -5147,14 +5146,14 @@ run_propagator(pmodz(X,Y,Z), MState) -->
                     { fd_get(Z, ZD1, ZPs),
                       domain_remove_smaller_than(ZD1, 0, ZD3),
                       domain_remove_greater_than(ZD3, ZMax, ZD5) },
-                      fd_put(Z, ZD5, ZPs)
+                    fd_put(Z, ZD5, ZPs)
                     % queue_goal(Z in 0..ZMax)
                 ;   { fd_get(Y, _, n(YL), n(YU), _), YU < 0 } ->
                     ZMin is YL + 1,
                     { fd_get(Z, ZD1, ZPs),
                       domain_remove_greater_than(ZD1, 0, ZD3),
                       domain_remove_smaller_than(ZD3, ZMin, ZD5) },
-                      fd_put(Z, ZD5, ZPs)
+                    fd_put(Z, ZD5, ZPs)
                     % queue_goal(Z in ZMin..0)
                 ;   { fd_get(Y, _, n(YL), n(YU), _) } ->
                     ZMin is YL + 1,
@@ -5162,19 +5161,19 @@ run_propagator(pmodz(X,Y,Z), MState) -->
                     { fd_get(Z, ZD1, ZPs),
                       domain_remove_greater_than(ZD1, ZMax, ZD3),
                       domain_remove_smaller_than(ZD3, ZMin, ZD5) },
-                      fd_put(Z, ZD5, ZPs)
+                    fd_put(Z, ZD5, ZPs)
                     % queue_goal(Z in ZMin..ZMax)
                 ;   { fd_get(Y, _, _, n(YU), _), YU > 0 } ->
                     { fd_get(Z, ZD1, ZPs),
                       ZMax is YU - 1,
                       domain_remove_greater_than(ZD1, ZMax, ZD3) },
-                      fd_put(Z, ZD3, ZPs)
+                    fd_put(Z, ZD3, ZPs)
                     % queue_goal(Z #< YU)
                 ;   { fd_get(Y, _, n(YL), _, _), YL < 0 } ->
                     { fd_get(Z, ZD1, ZPs),
                       ZMin is YL + 1,
                       domain_remove_smaller_than(ZD1, ZMin, ZD3) },
-                      fd_put(Z, ZD3, ZPs)
+                    fd_put(Z, ZD3, ZPs)
                     % queue_goal(Z #> YL)
                 ;   true
                 )
@@ -5185,29 +5184,31 @@ run_propagator(pmody(X,Y,Z), MState) -->
         (   nonvar(Y) -> true % Nothing to do.
         % ;   nonvar(X) -> true
         ;   nonvar(Z) ->
-            (   Z > 0 -> % queue_goal(Y #> Z)
+            (   Z > 0 ->
                 { fd_get(Y, YD, YPs),
                   YMin is Z + 1,
                   domain_remove_smaller_than(YD, YMin, YD1) },
-                  fd_put(Y, YD1, YPs)
-            ;   Z < 0 -> % queue_goal(Y #< Z)
+                fd_put(Y, YD1, YPs)
+                % queue_goal(Y #> Z)
+            ;   Z < 0 ->
                 { fd_get(Y, YD, YPs),
                   YMax is Z - 1,
                   domain_remove_greater_than(YD, YMax, YD1) },
-                  fd_put(Y, YD1, YPs)
+                fd_put(Y, YD1, YPs)
+                % queue_goal(Y #< Z)
             ;   Z =:= 0 -> kill(MState), queue_goal(X / Y #= _)
             )
         ;   (   { fd_get(Z, _, n(ZL), _, _), ZL > 0 } ->
                 { fd_get(Y, YD, YPs),
                   YMin is ZL + 1,
                   domain_remove_smaller_than(YD, YMin, YD1) },
-                  fd_put(Y, YD1, YPs)
+                fd_put(Y, YD1, YPs)
                 % queue_goal(Y #> ZL)
             ;   { fd_get(Z, _, _, n(ZU), _), ZU < 0 } ->
                 { fd_get(Y, YD, YPs),
                   YMax is ZU - 1,
                   domain_remove_greater_than(YD, YMax, YD1) },
-                  fd_put(Y, YD1, YPs)
+                fd_put(Y, YD1, YPs)
                 % queue_goal(Y #< ZU)
             ;   true
             )