prolog::bdd_close/1

bdd_close( BDDHandle)*

close the BDD and release any resources it holds.

Private-func:

1. prolog::bdd_close_1::bdd_close/1(int ARG1)():