prolog::bdd_reorder/1

bdd_reorder( BDDHandle)*

reorder the BDD using CUDD_REORDER_EXACT.

Private-func:

1. prolog::bdd_reorder_1::bdd_reorder/1(int ARG1)():