abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Dsd_Manager_t_ Struct Reference

STRUCTURE DEFINITIONS ///. More...

#include <dsdInt.h>

Data Fields

DdManagerdd
 
st__tableTable
 
int nInputs
 
int nRoots
 
int nRootsAlloc
 
Dsd_Node_t ** pInputs
 
Dsd_Node_t ** pRoots
 
Dsd_Node_tpConst1
 
int fVerbose
 

Detailed Description

STRUCTURE DEFINITIONS ///.

Definition at line 40 of file dsdInt.h.

Field Documentation

DdManager* Dsd_Manager_t_::dd

Definition at line 42 of file dsdInt.h.

int Dsd_Manager_t_::fVerbose

Definition at line 50 of file dsdInt.h.

int Dsd_Manager_t_::nInputs

Definition at line 44 of file dsdInt.h.

int Dsd_Manager_t_::nRoots

Definition at line 45 of file dsdInt.h.

int Dsd_Manager_t_::nRootsAlloc

Definition at line 46 of file dsdInt.h.

Dsd_Node_t* Dsd_Manager_t_::pConst1

Definition at line 49 of file dsdInt.h.

Dsd_Node_t** Dsd_Manager_t_::pInputs

Definition at line 47 of file dsdInt.h.

Dsd_Node_t** Dsd_Manager_t_::pRoots

Definition at line 48 of file dsdInt.h.

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: