bdd_error_hook

bddinthandler bdd_error_hook ( bddinthandler  handler  )  Set a handler for error conditions. Whenever an error occurs in the bdd package a test is done to see if an error handler is supplied by the user and if such exists then it will be called with an error code in the variable errcode. The handler may then print any usefull information and return or exit afterwards. This function sets the handler to be handler. If a NULL argument is supplied then no calls are made when an error occurs. Possible error codes are found in bdd.h. The default handler is bdd_default_errhandler which will use abort() to terminate the program. Any handler should be defined like this: void my_error_handler(int errcode) { ... } Returns: The previous handler. See also: bdd_errstring

---