Merge pull request #671 from triska/clpb_restriction

FIXED: CLP(B): Delay BDD restriction until after the instantiation.
2020-08-12 16:59:51 -03:00
parent 74dc94f6bc e185b626bd
commit 32eaab0783
1 changed files with 1 additions and 2 deletions
--- a/src/lib/clpb.pl
+++ b/src/lib/clpb.pl
@@ -842,9 +842,8 @@ verify_attributes(Var, Other, Gs) :-
            (   integer(Other) ->
                (   between(0, 1, Other) ->
                    root_get_formula_bdd(Root, Sat, BDD0),
-                    bdd_restriction(BDD0, I, Other, BDD),
                    root_put_formula_bdd(Root, Sat, BDD),
-                    Gs = [satisfiable_bdd(BDD)]
+                    Gs = [bdd_restriction(BDD0,I,Other,BDD),satisfiable_bdd(BDD)]
                ;   no_truth_value(Other)
                )
            ;   atom(Other) ->