Extra_ImageTree2_t_ Struct Reference

Public Attributes
DdManager *	dd
DdNode *	bRel
DdNode *	bCube
DdNode *	bImage

Detailed Description

Definition at line 1047 of file extraBddImage.c.

Member Data Documentation

bCube

DdNode* Extra_ImageTree2_t_::bCube

Definition at line 1051 of file extraBddImage.c.

bImage

DdNode* Extra_ImageTree2_t_::bImage

Definition at line 1052 of file extraBddImage.c.

bRel

DdNode* Extra_ImageTree2_t_::bRel

Definition at line 1050 of file extraBddImage.c.

dd

DdManager* Extra_ImageTree2_t_::dd

Definition at line 1049 of file extraBddImage.c.

---

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

• src/bdd/extrab/extraBddImage.c