DdHook Struct Reference

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

DD_HFP DdHook::f

function to be called

struct DdHook* DdHook::next

next element in the list

---

The documentation for this struct was generated from the following file:

• cudd/cuddInt.h