Extra_ImageTree_t_ Struct Reference

Data Fields
Extra_ImageNode_t *	pRoot
Extra_ImageNode_t *	pCare
DdNode *	bCareSupp
int	fVerbose
int	nNodesMax
int	nNodesMaxT
int	nIter

Detailed Description

Definition at line 43 of file extraBddImage.c.

Field Documentation

DdNode* Extra_ImageTree_t_::bCareSupp

Definition at line 47 of file extraBddImage.c.

int Extra_ImageTree_t_::fVerbose

Definition at line 48 of file extraBddImage.c.

int Extra_ImageTree_t_::nIter

Definition at line 51 of file extraBddImage.c.

int Extra_ImageTree_t_::nNodesMax

Definition at line 49 of file extraBddImage.c.

int Extra_ImageTree_t_::nNodesMaxT

Definition at line 50 of file extraBddImage.c.

Extra_ImageNode_t* Extra_ImageTree_t_::pCare

Definition at line 46 of file extraBddImage.c.

Extra_ImageNode_t* Extra_ImageTree_t_::pRoot

Definition at line 45 of file extraBddImage.c.

---

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

• extraBddImage.c