DdHook Struct Reference

CUDD hook. More...

#include <cuddInt.h>

Collaboration diagram for DdHook:

Data Fields

struct DdHooknext

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

function to be called

struct DdHook* DdHook::next [read]

next element in the list

The documentation for this struct was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1