Dsd_Manager_t_ Struct Reference

#include <dsdInt.h>

Collaboration diagram for Dsd_Manager_t_:

[legend]

Data Fields
DdManager *	dd
st_table *	Table
int	nInputs
int	nRoots
int	nRootsAlloc
Dsd_Node_t **	pInputs
Dsd_Node_t **	pRoots
Dsd_Node_t *	pConst1
int	fVerbose

---

Detailed Description

STRUCTURE DEFINITIONS ///

Definition at line 36 of file dsdInt.h.

---

Field Documentation

DdManager* Dsd_Manager_t_::dd

Definition at line 38 of file dsdInt.h.

int Dsd_Manager_t_::fVerbose

Definition at line 46 of file dsdInt.h.

int Dsd_Manager_t_::nInputs

Definition at line 40 of file dsdInt.h.

int Dsd_Manager_t_::nRoots

Definition at line 41 of file dsdInt.h.

int Dsd_Manager_t_::nRootsAlloc

Definition at line 42 of file dsdInt.h.

Dsd_Node_t* Dsd_Manager_t_::pConst1

Definition at line 45 of file dsdInt.h.

Dsd_Node_t** Dsd_Manager_t_::pInputs

Definition at line 43 of file dsdInt.h.

Dsd_Node_t** Dsd_Manager_t_::pRoots

Definition at line 44 of file dsdInt.h.

st_table* Dsd_Manager_t_::Table

Definition at line 39 of file dsdInt.h.

---

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

• src/bdd/dsd/dsdInt.h