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

Compute correctly the domain of the remainder

Browse Source
This commit is contained in:
notoria
2023-05-27 13:47:14 +02:00
committed by Mark
parent 770a682d8b
commit 911c49c43f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/clpz.pl
View File

@@ -5153,7 +5153,7 @@ run_propagator(pmodz(X,Y,Z), MState) -->
domain_remove_smaller_than(ZD3, ZMin, ZD5) }, domain_remove_smaller_than(ZD3, ZMin, ZD5) },
fd_put(Z, ZD5, ZPs) fd_put(Z, ZD5, ZPs)
% queue_goal(Z in ZMin..0) % queue_goal(Z in ZMin..0)
; { fd_get(Y, _, n(YL), n(YU), _) } -> ; { fd_get(Y, _, n(YL), n(YU), _), YL < 0, YU > 0 } ->
ZMin is YL + 1, ZMin is YL + 1,
ZMax is YU - 1, ZMax is YU - 1,
{ fd_get(Z, ZD1, ZPs), { fd_get(Z, ZD1, ZPs),