rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed variable bindings in mod from clpz

Browse Source
This commit is contained in:
notoria
2020-08-15 13:37:33 +02:00
parent daaebc59cb
commit b4b11465a1
1 changed files with 8 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/lib/clpz.pl
View File

@@ -4984,9 +4984,8 @@ run_propagator(pmod(X,Y,Z), MState) -->
% queue_goal(Y #< Z) % queue_goal(Y #< Z)
; true ; true
) )
; run_propagator(pmodz(X,Y,Z), MState), ; run_propagator(pmody(X,Y,Z), MState),
run_propagator(pmody(X,Y,Z), MState), run_propagator(pmodz(X,Y,Z), MState) % This must be the last one.
true
). ).
run_propagator(pmodz(X,Y,Z), MState) --> run_propagator(pmodz(X,Y,Z), MState) -->
@@ -4996,7 +4995,7 @@ run_propagator(pmodz(X,Y,Z), MState) -->
; ( X > 0 -> ; ( X > 0 ->
( { fd_get(Y, _, n(YL), _, _), YL > X } -> ( { fd_get(Y, _, n(YL), _, _), YL > X } ->
kill(MState), kill(MState),
Z = X queue_goal(Z #= X)
; { fd_get(Z, ZD0, ZPs), ; { fd_get(Z, ZD0, ZPs),
domain_remove_greater_than(ZD0, X, ZD2), domain_remove_greater_than(ZD0, X, ZD2),
fd_put(Z, ZD2, ZPs) } fd_put(Z, ZD2, ZPs) }
@@ -5005,7 +5004,7 @@ run_propagator(pmodz(X,Y,Z), MState) -->
; X < 0 -> ; X < 0 ->
( { fd_get(Y, _, _, n(YU), _), YU < X } -> ( { fd_get(Y, _, _, n(YU), _), YU < X } ->
kill(MState), kill(MState),
Z = X queue_goal(Z #= X)
; { fd_get(Z, ZD0, ZPs), ; { fd_get(Z, ZD0, ZPs),
domain_remove_smaller_than(ZD0, X, ZD2), domain_remove_smaller_than(ZD0, X, ZD2),
fd_put(Z, ZD2, ZPs) } fd_put(Z, ZD2, ZPs) }
@@ -5033,6 +5032,7 @@ run_propagator(pmodz(X,Y,Z), MState) -->
( abs(Y) =:= 1 -> kill(MState), Z = 0 ( abs(Y) =:= 1 -> kill(MState), Z = 0
; Y < 0 -> ; Y < 0 ->
( { fd_get(X, _, n(XL), n(XU), _), XU =< 0, Y < XL } -> ( { fd_get(X, _, n(XL), n(XU), _), XU =< 0, Y < XL } ->
kill(MState),
Z = X Z = X
; { ZMin is Y + 1 }, ; { ZMin is Y + 1 },
{ fd_get(Z, ZD1, ZPs), { fd_get(Z, ZD1, ZPs),
@@ -5043,6 +5043,7 @@ run_propagator(pmodz(X,Y,Z), MState) -->
) )
; Y > 0 -> ; Y > 0 ->
( { fd_get(X, _, n(XL), n(XU), _), XL >= 0, Y > XU } -> ( { fd_get(X, _, n(XL), n(XU), _), XL >= 0, Y > XU } ->
kill(MState),
Z = X Z = X
; { ZMax is Y - 1 }, ; { ZMax is Y - 1 },
{ fd_get(Z, ZD1, ZPs), { fd_get(Z, ZD1, ZPs),
@@ -5054,9 +5055,11 @@ run_propagator(pmodz(X,Y,Z), MState) -->
) )
; ( { fd_get(X, _, n(XL), n(XU), _), XL >= 0, ; ( { fd_get(X, _, n(XL), n(XU), _), XL >= 0,
fd_get(Y, _, n(YL), _, _), XU < YL } -> fd_get(Y, _, n(YL), _, _), XU < YL } ->
kill(MState),
Z = X Z = X
; { fd_get(X, _, n(XL), n(XU), _), XU =< 0, ; { fd_get(X, _, n(XL), n(XU), _), XU =< 0,
fd_get(Y, _, _, n(YU), _), XL > YU } -> fd_get(Y, _, _, n(YU), _), XL > YU } ->
kill(MState),
Z = X Z = X
; ( { fd_get(X, _, n(XL), n(XU), _), XL >= 0 } -> ; ( { fd_get(X, _, n(XL), n(XU), _), XL >= 0 } ->
{ fd_get(Z, ZD0, ZPs), { fd_get(Z, ZD0, ZPs),