#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 |
1.6.1