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

Merge pull request #2742 from triska/clpb

Browse Source 
Revert "FIXED: CLP(B): Delay BDD restriction until after the instantiation"
This commit is contained in:
Mark Thom
2025-01-04 13:26:08 -07:00
committed by GitHub
parent a683d3e363 333d6740ae
commit 2856cc4371
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/lib/clpb.pl
View File

@@ -3,7 +3,7 @@
Author: Markus Triska Author: Markus Triska
E-mail: triska@metalevel.at E-mail: triska@metalevel.at
WWW: https://www.metalevel.at 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 Permission is hereby granted, free of charge, to any person
obtaining a copy of this software and associated documentation obtaining a copy of this software and associated documentation
@@ -1150,8 +1150,9 @@ verify_attributes(Var, Other, Gs) :-
( integer(Other) -> ( integer(Other) ->
( between(0, 1, Other) -> ( between(0, 1, Other) ->
root_get_formula_bdd(Root, Sat, BDD0), root_get_formula_bdd(Root, Sat, BDD0),
bdd_restriction(BDD0, I, Other, BDD),
root_put_formula_bdd(Root, Sat, 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) ; no_truth_value(Other)
) )
; atom(Other) -> ; atom(Other) ->