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


Generated on Mon Jul 23 13:25:17 2007 for BuDDy by  doxygen 1.5.1