Extra_ImagePart_t_ Struct Reference

Data Fields
DdNode *	bFunc
DdNode *	bSupp
int	nNodes
short	nSupp
short	iPart

Detailed Description

Definition at line 64 of file extraBddImage.c.

Field Documentation

DdNode* Extra_ImagePart_t_::bFunc

Definition at line 66 of file extraBddImage.c.

DdNode* Extra_ImagePart_t_::bSupp

Definition at line 67 of file extraBddImage.c.

short Extra_ImagePart_t_::iPart

Definition at line 70 of file extraBddImage.c.

int Extra_ImagePart_t_::nNodes

Definition at line 68 of file extraBddImage.c.

short Extra_ImagePart_t_::nSupp

Definition at line 69 of file extraBddImage.c.

---

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

• extraBddImage.c