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

attach the propagator to Y

Browse Source
This commit is contained in:
Markus Triska
2023-10-09 21:55:11 +02:00
parent b149805b9e
commit 1c3df1cdd7
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

@@ -5443,7 +5443,7 @@ run_propagator(pexp(X,Y,Z,Morph), MState) -->
kill(MState), kill(MState),
queue_goal((Z in 0..1, Y #>= 0)), queue_goal((Z in 0..1, Y #>= 0)),
{ make_propagator(reified_eq(1,Y,1,0,[],Z), Morph) }, { make_propagator(reified_eq(1,Y,1,0,[],Z), Morph) },
init_propagator_([X,Z], Morph) init_propagator_([Y,Z], Morph)
; Y == 0 -> kill(MState), Z = 1 ; Y == 0 -> kill(MState), Z = 1
; Y == 1 -> kill(MState), Z = X ; Y == 1 -> kill(MState), Z = X
; nonvar(X) -> ; nonvar(X) ->