Clears an error condition in the kernel. The BuDDy kernel may at some point run out of new ROBDD nodes if a maximum limit is set with bdd_setmaxnodenum. In this case the current error handler is called and an internal error flag is set. Further calls to BuDDy will always return bddfalse. From here BuDDy must either be restarted or bdd_clear_error may be called after action is taken to let BuDDy continue. This may not be especially usefull since the default error handler exits the program - other needs may of course exist.
|
1.5.1