prolog::bdd_to_tree/2

(undocumented)

Private-func:

1. prolog::bdd_to_tree_2::bdd_to_tree/2(int ARG1, int ARG2)():