Extra_ImageVar_t_ Struct Reference

Data Fields
int	iNum
DdNode *	bParts
int	nParts

Detailed Description

Definition at line 73 of file extraBddImage.c.

Field Documentation

DdNode* Extra_ImageVar_t_::bParts

Definition at line 76 of file extraBddImage.c.

int Extra_ImageVar_t_::iNum

Definition at line 75 of file extraBddImage.c.

int Extra_ImageVar_t_::nParts

Definition at line 77 of file extraBddImage.c.

---

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

• extraBddImage.c