#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] |
Definition at line 51 of file lpkInt.h.
| unsigned Lpk_Cut_t_::fHasDsd |
| unsigned Lpk_Cut_t_::fMark |
| int Lpk_Cut_t_::Gain |
| unsigned Lpk_Cut_t_::nLeaves |
| unsigned Lpk_Cut_t_::nLuts |
| unsigned Lpk_Cut_t_::nNodes |
| unsigned Lpk_Cut_t_::nNodesDup |
| int Lpk_Cut_t_::pLeaves[LPK_SIZE_MAX] |
| int Lpk_Cut_t_::pNodes[LPK_SIZE_MAX] |
| unsigned Lpk_Cut_t_::unused |
| unsigned Lpk_Cut_t_::uSign[2] |
| float Lpk_Cut_t_::Weight |
1.6.1