bdd_gbc_hook

bddgbchandler bdd_gbc_hook ( bddgbchandler  handler  )  Set a handler for garbage collections. Whenever a garbage collection is required, a test is done to see if a handler for this event is supplied by the user and if such exists then it is called, both before and after the garbage collection takes places. This is indicated by an integer flag pre passed to the handler, which will be one before garbage collection and zero after garbage collection. This function sets the handler to be handler. If a NULL argument is supplied then no calls are made when a garbage collection takes place. The argument pre indicates pre vs. post garbage collection and the argument stat contains information about the garbage collection. The default handler is bdd_default_gbchandler. Any handler should be defined like this: void my_gbc_handler(int pre, bddGbcStat *stat) { ... } Returns: The previous handler. See also: bdd_resize_hook, bdd_reorder_hook

---