prolog::bdd_to_tree/3

(undocumented)

Private-func:

1. prolog::bdd_to_tree_3::bdd_to_tree/3(int ARG1, int ARG2, int ARG3)():