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

resolve phrase modules internally (#1541)

Browse Source
This commit is contained in:
Mark Thom
2022-07-24 15:20:53 -06:00
parent fce45167a5
commit 1ff52f70aa
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib/clpz.pl
View File

@@ -7611,7 +7611,7 @@ verify_attributes(Var, Other, Gs) :-
), ),
domain_contains(Dom, Other), domain_contains(Dom, Other),
phrase(trigger_props(Ps), [Q], [_]), phrase(trigger_props(Ps), [Q], [_]),
Gs = [phrase(clpz:do_queue, [Q], _)] Gs = [phrase(do_queue, [Q], _)]
; ( get_atts(Other, clpz(clpz_attr(_,_,_,OD,OPs,_))) -> ; ( get_atts(Other, clpz(clpz_attr(_,_,_,OD,OPs,_))) ->
domains_intersection(OD, Dom, Dom1), domains_intersection(OD, Dom, Dom1),
append_propagators(Ps, OPs, Ps1), append_propagators(Ps, OPs, Ps1),
@@ -7619,7 +7619,7 @@ verify_attributes(Var, Other, Gs) :-
variables_same_queue([Var,Other]), variables_same_queue([Var,Other]),
phrase((fd_put(Other,Dom1,Ps1), phrase((fd_put(Other,Dom1,Ps1),
trigger_props(Ps1)), [Q0], _), trigger_props(Ps1)), [Q0], _),
Gs = [phrase(clpz:do_queue, [Q0], _)] Gs = [phrase(do_queue, [Q0], _)]
; put_atts(Other, clpz(CLPZ)), ; put_atts(Other, clpz(CLPZ)),
Gs = [] Gs = []
) )