CUDD hook. More...
#include <cuddInt.h>
Collaboration diagram for DdHook:
Data Fields | |
| DD_HFP | f |
| struct DdHook * | next |
Detailed Description
CUDD hook.
Hooks in CUDD are functions that the application registers with the manager so that they are called at appropriate times. The functions are passed the manager as argument; they should return 1 if successful and 0 otherwise.
Field Documentation
◆ f
| DD_HFP DdHook::f |
function to be called
◆ next
| struct DdHook* DdHook::next |
next element in the list
The documentation for this struct was generated from the following file:
- cudd/cuddInt.h
