---

bdd_external_hooks Struct Reference

#include <cuddBdd.h>

List of all members.

Public Attributes
char *	network
char *	mdd
char *	undef1

---

Member Data Documentation

char* bdd_external_hooks::mdd

Definition at line 244 of file cuddBdd.h.

char* bdd_external_hooks::network

Definition at line 243 of file cuddBdd.h.

char* bdd_external_hooks::undef1

Definition at line 245 of file cuddBdd.h.

---

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

• cuddBdd.h

---