abc-master
|
#include <lpkInt.h>
Data Fields | |
Vec_Ptr_t * | vNodes |
unsigned | Id: 7 |
unsigned | nVars: 5 |
unsigned | nLutK: 4 |
unsigned | nAreaLim: 5 |
unsigned | nDelayLim: 9 |
unsigned | fSupports: 1 |
unsigned | fMark: 1 |
unsigned | uSupp |
unsigned | puSupps [32] |
char | pDelays [16] |
char | pFanins [16] |
unsigned | pTruth [0] |