STRUCTURE DEFINITIONS ///. More...

#include <dsdInt.h>

Collaboration diagram for Dsd_Manager_t_:

[legend]

Public Attributes
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 40 of file dsdInt.h.

Member Data Documentation

◆ dd

DdManager* Dsd_Manager_t_::dd

Definition at line 42 of file dsdInt.h.

◆ fVerbose

int Dsd_Manager_t_::fVerbose

Definition at line 50 of file dsdInt.h.

◆ nInputs

int Dsd_Manager_t_::nInputs

Definition at line 44 of file dsdInt.h.

◆ nRoots

int Dsd_Manager_t_::nRoots

Definition at line 45 of file dsdInt.h.

◆ nRootsAlloc

int Dsd_Manager_t_::nRootsAlloc

Definition at line 46 of file dsdInt.h.

◆ pConst1

Dsd_Node_t* Dsd_Manager_t_::pConst1

Definition at line 49 of file dsdInt.h.

◆ pInputs

Dsd_Node_t** Dsd_Manager_t_::pInputs

Definition at line 47 of file dsdInt.h.

◆ pRoots

Dsd_Node_t** Dsd_Manager_t_::pRoots

Definition at line 48 of file dsdInt.h.

◆ Table

st__table* Dsd_Manager_t_::Table

Definition at line 43 of file dsdInt.h.

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

src/bdd/dsd/dsdInt.h

Public Attributes