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

use newly available false//0

Browse Source
This commit is contained in:
Markus Triska
2024-01-21 22:53:22 +01:00
parent 388fa5baa9
commit 81dba11ab1
1 changed files with 7 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
src/lib/clpz.pl
View File

@@ -4229,7 +4229,7 @@ activate_propagator(propagator(P,State)) -->
) )
). ).
%do_queue --> print_queue, { false }. %do_queue --> print_queue, false.
do_queue --> do_queue -->
( queue_enabled -> ( queue_enabled ->
( queue_get_goal(Goal) -> { call(Goal) }, do_queue ( queue_get_goal(Goal) -> { call(Goal) }, do_queue
@@ -4593,7 +4593,7 @@ run_propagator(pserialized(S_I, D_I, S_J, D_J, _), MState) -->
kill(MState), kill(MState),
( S_I + D_I =< S_J -> [] ( S_I + D_I =< S_J -> []
; S_J + D_J =< S_I -> [] ; S_J + D_J =< S_I -> []
; { false } ; false
) )
; serialize_lower_upper(S_I, D_I, S_J, D_J, MState), ; serialize_lower_upper(S_I, D_I, S_J, D_J, MState),
serialize_lower_upper(S_J, D_J, S_I, D_I, MState) serialize_lower_upper(S_J, D_J, S_I, D_I, MState)
@@ -5053,8 +5053,8 @@ run_propagator(ptzdiv(X,Y,Z,Morph), MState) -->
%% % Z = X mod Y %% % Z = X mod Y
run_propagator(pmod(X,Y,Z), MState) --> run_propagator(pmod(X,Y,Z), MState) -->
( Y == 0 -> { false } ( Y == 0 -> false
; Y == Z -> { false } ; Y == Z -> false
; X == Y -> kill(MState), queue_goal(Z = 0) ; X == Y -> kill(MState), queue_goal(Z = 0)
; true ; true
), ),
@@ -5383,7 +5383,7 @@ run_propagator(pmax(X,Y,Z), MState) -->
; nonvar(Z) -> ; nonvar(Z) ->
( Z =:= X -> kill(MState), queue_goal(X #>= Y) ( Z =:= X -> kill(MState), queue_goal(X #>= Y)
; Z > X -> queue_goal(Z = Y) ; Z > X -> queue_goal(Z = Y)
; { false } % Z < X ; false % Z < X
) )
; Y == Z -> kill(MState), queue_goal(Y #>= X) ; Y == Z -> kill(MState), queue_goal(Y #>= X)
; { fd_get(Y, _, YInf, YSup, _) }, ; { fd_get(Y, _, YInf, YSup, _) },
@@ -5419,7 +5419,7 @@ run_propagator(pmin(X,Y,Z), MState) -->
; nonvar(Z) -> ; nonvar(Z) ->
( Z =:= X -> kill(MState), { X #=< Y } ( Z =:= X -> kill(MState), { X #=< Y }
; Z < X -> Z = Y ; Z < X -> Z = Y
; { false } % Z > X ; false % Z > X
) )
; Y == Z -> kill(MState), queue_goal(Y #=< X) ; Y == Z -> kill(MState), queue_goal(Y #=< X)
; { fd_get(Y, _, YInf, YSup, _) }, ; { fd_get(Y, _, YInf, YSup, _) },
@@ -5734,8 +5734,7 @@ run_propagator(reified_fd(V,B), MState) -->
B = 1 B = 1
; { B == 0 } -> ; { B == 0 } ->
( { fd_inf(V, inf) } -> [] ( { fd_inf(V, inf) } -> []
; { fd_sup(V, sup) } -> [] ; { fd_sup(V, sup) }
; { false }
) )
; [] ; []
). ).