bdd_external_hooks_struct Struct Reference

#include <bdd.h>

Data Fields
char *	network
char *	mdd
char *	undef1

---

Detailed Description

Definition at line 147 of file bdd.h.

---

Field Documentation

char* bdd_external_hooks_struct::mdd

Definition at line 149 of file bdd.h.

char* bdd_external_hooks_struct::network

Definition at line 148 of file bdd.h.

char* bdd_external_hooks_struct::undef1

Definition at line 150 of file bdd.h.

---

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

• src/bdd/bdd.h