#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] |
Definition at line 142 of file lpkInt.h.
unsigned Lpk_Fun_t_::fMark |
unsigned Lpk_Fun_t_::fSupports |
unsigned Lpk_Fun_t_::Id |
unsigned Lpk_Fun_t_::nAreaLim |
unsigned Lpk_Fun_t_::nDelayLim |
unsigned Lpk_Fun_t_::nLutK |
unsigned Lpk_Fun_t_::nVars |
char Lpk_Fun_t_::pDelays[16] |
char Lpk_Fun_t_::pFanins[16] |
unsigned Lpk_Fun_t_::pTruth[0] |
unsigned Lpk_Fun_t_::puSupps[32] |
unsigned Lpk_Fun_t_::uSupp |