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

Merge pull request #1797 from triska/clpb_residuals

Browse Source 
remove residual goal for ground BDD
This commit is contained in:
Mark Thom
2023-04-23 10:31:40 -06:00
committed by GitHub
parent 7d2e59ab64 2a1b8f37ec
commit 402100fd52
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/lib/clpb.pl
View File

@@ -1628,6 +1628,7 @@ skip_to_var_(Var, Weight, [Var0-Weight0|VWs0], VWs) -->
attribute_goals(Var) --> attribute_goals(Var) -->
{ var_index_root(Var, _, Root) }, { var_index_root(Var, _, Root) },
!,
( { root_get_formula_bdd(Root, Formula, BDD) } -> ( { root_get_formula_bdd(Root, Formula, BDD) } ->
{ del_bdd(Root) }, { del_bdd(Root) },
( { clpb_residuals(bdd) } -> ( { clpb_residuals(bdd) } ->
@@ -1655,6 +1656,10 @@ attribute_goals(Var) -->
booleans(RestVs) booleans(RestVs)
; boolean(Var) % the variable may have occurred only in taut/2 ; boolean(Var) % the variable may have occurred only in taut/2
). ).
attribute_goals(Var) -->
{ get_atts(Var, clpb_bdd(BDD)),
ground(BDD),
put_atts(Var, -clpb_bdd(_)) }.
del_clpb(Var) :- del_clpb(Var) :-
del_attr(Var, clpb), del_attr(Var, clpb),