ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Lpk_Cut_t_ Struct Reference

#include <lpkInt.h>

Public Attributes

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]
 

Detailed Description

Definition at line 53 of file lpkInt.h.

Member Data Documentation

◆ fHasDsd

unsigned Lpk_Cut_t_::fHasDsd

Definition at line 60 of file lpkInt.h.

◆ fMark

unsigned Lpk_Cut_t_::fMark

Definition at line 61 of file lpkInt.h.

◆ Gain

int Lpk_Cut_t_::Gain

Definition at line 64 of file lpkInt.h.

◆ nLeaves

unsigned Lpk_Cut_t_::nLeaves

Definition at line 55 of file lpkInt.h.

◆ nLuts

unsigned Lpk_Cut_t_::nLuts

Definition at line 58 of file lpkInt.h.

◆ nNodes

unsigned Lpk_Cut_t_::nNodes

Definition at line 56 of file lpkInt.h.

◆ nNodesDup

unsigned Lpk_Cut_t_::nNodesDup

Definition at line 57 of file lpkInt.h.

◆ pLeaves

int Lpk_Cut_t_::pLeaves[LPK_SIZE_MAX]

Definition at line 65 of file lpkInt.h.

◆ pNodes

int Lpk_Cut_t_::pNodes[LPK_SIZE_MAX]

Definition at line 66 of file lpkInt.h.

◆ unused

unsigned Lpk_Cut_t_::unused

Definition at line 59 of file lpkInt.h.

◆ uSign

unsigned Lpk_Cut_t_::uSign[2]

Definition at line 62 of file lpkInt.h.

◆ Weight

float Lpk_Cut_t_::Weight

Definition at line 63 of file lpkInt.h.


The documentation for this struct was generated from the following file: