bdd_default_reohandler

void bdd_default_reohandler ( int  prestate  )  Default reorder handler. The default reorder handler prints information about the reorder process to stdout if bdd_reorder_verbose(1) has been called previously. The information printed includes a message before the reorder runs and a message after it has run, indicating how many nodes were in use before and after the reorder as well as how long (in seconds) it took to run the reorder. See also: bdd_reorder_hook

---