abc-master
|
#include <lpkInt.h>
Data Fields | |
unsigned | nLeaves: 6 |
unsigned | nNodes: 6 |
unsigned | nNodesDup: 6 |
unsigned | nLuts: 6 |
unsigned | unused: 6 |
unsigned | fHasDsd: 1 |
unsigned | fMark: 1 |
unsigned | uSign [2] |
float | Weight |
int | Gain |
int | pLeaves [LPK_SIZE_MAX] |
int | pNodes [LPK_SIZE_MAX] |
int Lpk_Cut_t_::pLeaves[LPK_SIZE_MAX] |
int Lpk_Cut_t_::pNodes[LPK_SIZE_MAX] |