From 81dba11ab1c99fee3c6d586e1fbc18077f3bc7f3 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 21 Jan 2024 22:53:22 +0100 Subject: [PATCH] use newly available false//0 --- src/lib/clpz.pl | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index 631399de..07768da5 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -4229,7 +4229,7 @@ activate_propagator(propagator(P,State)) --> ) ). -%do_queue --> print_queue, { false }. +%do_queue --> print_queue, false. do_queue --> ( queue_enabled -> ( 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), ( S_I + D_I =< S_J -> [] ; S_J + D_J =< S_I -> [] - ; { false } + ; false ) ; serialize_lower_upper(S_I, D_I, S_J, D_J, 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 run_propagator(pmod(X,Y,Z), MState) --> - ( Y == 0 -> { false } - ; Y == Z -> { false } + ( Y == 0 -> false + ; Y == Z -> false ; X == Y -> kill(MState), queue_goal(Z = 0) ; true ), @@ -5383,7 +5383,7 @@ run_propagator(pmax(X,Y,Z), MState) --> ; nonvar(Z) -> ( Z =:= X -> kill(MState), queue_goal(X #>= Y) ; Z > X -> queue_goal(Z = Y) - ; { false } % Z < X + ; false % Z < X ) ; Y == Z -> kill(MState), queue_goal(Y #>= X) ; { fd_get(Y, _, YInf, YSup, _) }, @@ -5419,7 +5419,7 @@ run_propagator(pmin(X,Y,Z), MState) --> ; nonvar(Z) -> ( Z =:= X -> kill(MState), { X #=< Y } ; Z < X -> Z = Y - ; { false } % Z > X + ; false % Z > X ) ; Y == Z -> kill(MState), queue_goal(Y #=< X) ; { fd_get(Y, _, YInf, YSup, _) }, @@ -5734,8 +5734,7 @@ run_propagator(reified_fd(V,B), MState) --> B = 1 ; { B == 0 } -> ( { fd_inf(V, inf) } -> [] - ; { fd_sup(V, sup) } -> [] - ; { false } + ; { fd_sup(V, sup) } ) ; [] ). -- 2.54.0