bdd_reorder( BDDHandle)*
reorder the BDD using CUDD_REORDER_EXACT.
1. prolog::bdd_reorder_1::bdd_reorder/1(int ARG1)():