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

Merge pull request #2689 from triska/weighted_maybe

Browse Source 
introduce and use weighted_maybe/2
This commit is contained in:
Mark Thom
2024-12-13 21:38:47 -07:00
committed by GitHub
parent 5f035ec6ad abe1f37167
commit a9a77779e3
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/lib/clpb.pl
View File

@@ -1550,11 +1550,15 @@ random_bindings(VNum, Node) -->
{ node_var_low_high(Node, Var, Low, High), { node_var_low_high(Node, Var, Low, High),
bdd_count(Node, VNum, Total), bdd_count(Node, VNum, Total),
bdd_count(Low, VNum, LCount) }, bdd_count(Low, VNum, LCount) },
( { maybe(LCount, Total) } -> ( { weighted_maybe(LCount, Total) } ->
[Var=0], random_bindings(VNum, Low) [Var=0], random_bindings(VNum, Low)
; [Var=1], random_bindings(VNum, High) ; [Var=1], random_bindings(VNum, High)
). ).
weighted_maybe(K, N) :-
random_integer(0, N, X),
X < K.
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Find solutions with maximum weight. Find solutions with maximum weight.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */