ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Bbr_ImagePart_t_ Struct Reference

Public Attributes

DdNode * bFunc
 
DdNode * bSupp
 
int nNodes
 
short nSupp
 
short iPart
 

Detailed Description

Definition at line 68 of file bbrImage.c.

Member Data Documentation

◆ bFunc

DdNode* Bbr_ImagePart_t_::bFunc

Definition at line 70 of file bbrImage.c.

◆ bSupp

DdNode* Bbr_ImagePart_t_::bSupp

Definition at line 71 of file bbrImage.c.

◆ iPart

short Bbr_ImagePart_t_::iPart

Definition at line 74 of file bbrImage.c.

◆ nNodes

int Bbr_ImagePart_t_::nNodes

Definition at line 72 of file bbrImage.c.

◆ nSupp

short Bbr_ImagePart_t_::nSupp

Definition at line 73 of file bbrImage.c.

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