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

remove more attributes so that they do not appear in residual goals

Browse Source
This commit is contained in:
Markus Triska
2023-09-08 23:19:10 +02:00
parent b38a56e7d3
commit 6fe85c5779
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/lib/clpb.pl
View File

@@ -1729,7 +1729,8 @@ attribute_goals(Var) -->
del_clpb(Var) :-
del_attr(Var, clpb),
del_attr(Var, clpb_hash).
del_attr(Var, clpb_hash),
del_attr(Var, clpb_atom).
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
To make residual projection work with recorded constraints, the
@@ -1883,7 +1884,8 @@ booleans([B|Bs]) --> boolean(B), booleans(Bs).
boolean(Var) -->
{ del_clpb(Var) },
( { get_attr(Var, clpb_omit_boolean, true) } -> []
( { get_attr(Var, clpb_omit_boolean, true) } ->
{ put_atts(Var, -clpb_omit_boolean(_)) }
; [clpb:sat(Var =:= Var)]
).