Merge pull request #2742 from triska/clpb

Revert "FIXED: CLP(B): Delay BDD restriction until after the instantiation"
mthom · Jan 4, 2025 · 2856cc4 · 2856cc4
2 parents a683d3e + 333d674
commit 2856cc4
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/lib/clpb.pl b/src/lib/clpb.pl
@@ -3,7 +3,7 @@
     Author:        Markus Triska
     E-mail:        [email protected]
     WWW:           https://www.metalevel.at
-    Copyright (C): 2019-2023 Markus Triska
+    Copyright (C): 2019-2025 Markus Triska
 
     Permission is hereby granted, free of charge, to any person
     obtaining a copy of this software and associated documentation
@@ -1150,8 +1150,9 @@
             (   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 = [bdd_restriction(BDD0,I,Other,BDD),satisfiable_bdd(BDD)]
+                    Gs = [satisfiable_bdd(BDD)]
                 ;   no_truth_value(Other)
                 )
             ;   atom(Other) ->