Dsd_Node_t_ Struct Reference

#include <dsdInt.h>

Collaboration diagram for Dsd_Node_t_:

[legend]

Data Fields
Dsd_Type_t	Type
DdNode *	G
DdNode *	S
Dsd_Node_t **	pDecs
int	Mark
short	nDecs
short	nVisits

---

Detailed Description

Definition at line 50 of file dsdInt.h.

---

Field Documentation

DdNode* Dsd_Node_t_::G

Definition at line 53 of file dsdInt.h.

int Dsd_Node_t_::Mark

Definition at line 56 of file dsdInt.h.

short Dsd_Node_t_::nDecs

Definition at line 57 of file dsdInt.h.

short Dsd_Node_t_::nVisits

Definition at line 58 of file dsdInt.h.

Dsd_Node_t** Dsd_Node_t_::pDecs

Definition at line 55 of file dsdInt.h.

DdNode* Dsd_Node_t_::S

Definition at line 54 of file dsdInt.h.

Dsd_Type_t Dsd_Node_t_::Type

Definition at line 52 of file dsdInt.h.

---

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

• src/bdd/dsd/dsdInt.h