ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Extra_ImageNode_t_ Struct Reference
Collaboration diagram for Extra_ImageNode_t_:

Public Attributes

DdManager * dd
 
DdNode * bCube
 
DdNode * bImage
 
Extra_ImageNode_tpNode1
 
Extra_ImageNode_tpNode2
 
Extra_ImagePart_tpPart
 

Detailed Description

Definition at line 54 of file extraBddImage.c.

Member Data Documentation

◆ bCube

DdNode* Extra_ImageNode_t_::bCube

Definition at line 57 of file extraBddImage.c.

◆ bImage

DdNode* Extra_ImageNode_t_::bImage

Definition at line 58 of file extraBddImage.c.

◆ dd

DdManager* Extra_ImageNode_t_::dd

Definition at line 56 of file extraBddImage.c.

◆ pNode1

Extra_ImageNode_t* Extra_ImageNode_t_::pNode1

Definition at line 59 of file extraBddImage.c.

◆ pNode2

Extra_ImageNode_t* Extra_ImageNode_t_::pNode2

Definition at line 60 of file extraBddImage.c.

◆ pPart

Extra_ImagePart_t* Extra_ImageNode_t_::pPart

Definition at line 61 of file extraBddImage.c.


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