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

Public Attributes

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

Detailed Description

Definition at line 64 of file extraBddImage.c.

Member Data Documentation

◆ bFunc

DdNode* Extra_ImagePart_t_::bFunc

Definition at line 66 of file extraBddImage.c.

◆ bSupp

DdNode* Extra_ImagePart_t_::bSupp

Definition at line 67 of file extraBddImage.c.

◆ iPart

short Extra_ImagePart_t_::iPart

Definition at line 70 of file extraBddImage.c.

◆ nNodes

int Extra_ImagePart_t_::nNodes

Definition at line 68 of file extraBddImage.c.

◆ nSupp

short Extra_ImagePart_t_::nSupp

Definition at line 69 of file extraBddImage.c.

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