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

Public Attributes

word Sign
 
int iFunc
 
int Cost
 
int CostLev
 
unsigned nTreeLeaves: 28
 
unsigned nLeaves: 4
 
int pLeaves [GIA_MAX_CUTSIZE]
 
float CostF
 

Detailed Description

Definition at line 39 of file giaCut.c.

Member Data Documentation

◆ Cost

int Gia_Cut_t_::Cost

Definition at line 43 of file giaCut.c.

◆ CostF

float Gia_Cut_t_::CostF

Definition at line 48 of file giaCut.c.

◆ CostLev

int Gia_Cut_t_::CostLev

Definition at line 44 of file giaCut.c.

◆ iFunc

int Gia_Cut_t_::iFunc

Definition at line 42 of file giaCut.c.

◆ nLeaves

unsigned Gia_Cut_t_::nLeaves

Definition at line 46 of file giaCut.c.

◆ nTreeLeaves

unsigned Gia_Cut_t_::nTreeLeaves

Definition at line 45 of file giaCut.c.

◆ pLeaves

int Gia_Cut_t_::pLeaves[GIA_MAX_CUTSIZE]

Definition at line 47 of file giaCut.c.

◆ Sign

word Gia_Cut_t_::Sign

Definition at line 41 of file giaCut.c.


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