prolog::bdd_to_probability_sum_product/3

(undocumented)

Private-func:

1. prolog::bdd_to_probability_sum_product_3::bdd_to_probability_sum_product/3(int ARG1, int ARG2, int ARG3)():