Bbr_ImageTree_t_ Struct Reference

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

Detailed Description

Definition at line 46 of file bbrImage.c.

Field Documentation

DdNode* Bbr_ImageTree_t_::bCareSupp

Definition at line 50 of file bbrImage.c.

int Bbr_ImageTree_t_::fVerbose

Definition at line 51 of file bbrImage.c.

int Bbr_ImageTree_t_::nBddMax

Definition at line 55 of file bbrImage.c.

int Bbr_ImageTree_t_::nIter

Definition at line 54 of file bbrImage.c.

int Bbr_ImageTree_t_::nNodesMax

Definition at line 52 of file bbrImage.c.

int Bbr_ImageTree_t_::nNodesMaxT

Definition at line 53 of file bbrImage.c.

Bbr_ImageNode_t* Bbr_ImageTree_t_::pCare

Definition at line 49 of file bbrImage.c.

Bbr_ImageNode_t* Bbr_ImageTree_t_::pRoot

Definition at line 48 of file bbrImage.c.

---

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

• bbrImage.c