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

Public Attributes

int iNum
 
DdNode * bParts
 
int nParts
 

Detailed Description

Definition at line 73 of file extraBddImage.c.

Member Data Documentation

◆ bParts

DdNode* Extra_ImageVar_t_::bParts

Definition at line 76 of file extraBddImage.c.

◆ iNum

int Extra_ImageVar_t_::iNum

Definition at line 75 of file extraBddImage.c.

◆ nParts

int Extra_ImageVar_t_::nParts

Definition at line 77 of file extraBddImage.c.

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