BuDDy: bdd_resize

bdd2inthandler bdd_resize_hook ( bdd2inthandler handler )

Set a handler for nodetable resizes.

Whenever it is impossible to get enough free nodes by a garbage collection then the node table is resized and a test is done to see if a handler is supllied by the user for this event. If so then it is called with oldsize being the old nodetable size and newsize being the new nodetable size. This function sets the handler to be handler. If a NULL argument is supplied then no calls are made when a table resize is done. No default handler is supplied. Any handler should be defined like this:

 void my_resize_handler(int * oldsize, int newsize) { ... }

Returns:: The previous handler.

See also:: bdd_gbc_hook, bdd_reorder_hook, bdd_setminfreenodes