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

Public Attributes

DdManager * dd
 
DdNode * bRel
 
DdNode * bCube
 
DdNode * bImage
 

Detailed Description

Definition at line 1212 of file bbrImage.c.

Member Data Documentation

◆ bCube

DdNode* Bbr_ImageTree2_t_::bCube

Definition at line 1216 of file bbrImage.c.

◆ bImage

DdNode* Bbr_ImageTree2_t_::bImage

Definition at line 1217 of file bbrImage.c.

◆ bRel

DdNode* Bbr_ImageTree2_t_::bRel

Definition at line 1215 of file bbrImage.c.

◆ dd

DdManager* Bbr_ImageTree2_t_::dd

Definition at line 1214 of file bbrImage.c.


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