#include <lpkInt.h>
Data Fields | |
int | nBSVars |
unsigned | BSVars |
int | nCofVars |
char | pCofVars [4] |
int | nSuppSizeS |
int | nSuppSizeL |
int | DelayEst |
int | AreaEst |
int | Variable |
int | Polarity |
Definition at line 161 of file lpkInt.h.
unsigned Lpk_Res_t_::BSVars |
char Lpk_Res_t_::pCofVars[4] |