|
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] |