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

Merge pull request #983 from triska/master

Browse Source 
check for correct domain of integers in reifiable expressions also in the expanded code
This commit is contained in:
Mark Thom
2021-06-03 18:32:48 -06:00
committed by GitHub
parent 04121644a3 066f740819
commit 176daeec03
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

@@ -2982,7 +2982,7 @@ clpz_expansion(A #<==> B, Reif) :-
phrase(expr_conds(Y0, Y), Cs), phrase(expr_conds(Y0, Y), Cs),
list_goal(Cs0, Cond), list_goal(Cs0, Cond),
Expr =.. [F,X,Y], Expr =.. [F,X,Y],
expansion_simpler(( Cond, ( var(B) ; integer(B) ) -> expansion_simpler(( Cond, ( var(B) ; integer(B), clpz:between(0, 1, B) ) ->
( Expr -> ( Expr ->
B = 1 B = 1
; B = 0 ; B = 0