Collaboration diagram for Gia_Sto_t_:

[legend]

Public Attributes
int	nCutSize

int	nCutNum

int	fCutMin

int	fTruthMin

int	fVerbose

Gia_Man_t *	pGia

Vec_Int_t *	vRefs

Vec_Wec_t *	vCuts

Vec_Mem_t *	vTtMem

Gia_Cut_t	pCuts [3][GIA_MAX_CUTNUM]

Gia_Cut_t *	ppCuts [GIA_MAX_CUTNUM]

int	nCutsR

int	Pivot

int	iCutBest

int	nCutsOver

double	CutCount [4]

abctime	clkStart

Detailed Description

Definition at line 52 of file giaCut.c.

Member Data Documentation

◆ clkStart

abctime Gia_Sto_t_::clkStart

Definition at line 70 of file giaCut.c.

◆ CutCount

double Gia_Sto_t_::CutCount[4]

Definition at line 69 of file giaCut.c.

◆ fCutMin

int Gia_Sto_t_::fCutMin

Definition at line 56 of file giaCut.c.

◆ fTruthMin

int Gia_Sto_t_::fTruthMin

Definition at line 57 of file giaCut.c.

◆ fVerbose

int Gia_Sto_t_::fVerbose

Definition at line 58 of file giaCut.c.

◆ iCutBest

int Gia_Sto_t_::iCutBest

Definition at line 67 of file giaCut.c.

◆ nCutNum

int Gia_Sto_t_::nCutNum

Definition at line 55 of file giaCut.c.

◆ nCutSize

int Gia_Sto_t_::nCutSize

Definition at line 54 of file giaCut.c.

◆ nCutsOver

int Gia_Sto_t_::nCutsOver

Definition at line 68 of file giaCut.c.

◆ nCutsR

int Gia_Sto_t_::nCutsR

Definition at line 65 of file giaCut.c.

◆ pCuts

Gia_Cut_t Gia_Sto_t_::pCuts[3][GIA_MAX_CUTNUM]

Definition at line 63 of file giaCut.c.

◆ pGia

Gia_Man_t* Gia_Sto_t_::pGia

Definition at line 59 of file giaCut.c.

◆ Pivot

int Gia_Sto_t_::Pivot

Definition at line 66 of file giaCut.c.

◆ ppCuts

Gia_Cut_t* Gia_Sto_t_::ppCuts[GIA_MAX_CUTNUM]

Definition at line 64 of file giaCut.c.

◆ vCuts

Vec_Wec_t* Gia_Sto_t_::vCuts

Definition at line 61 of file giaCut.c.

◆ vRefs

Vec_Int_t* Gia_Sto_t_::vRefs

Definition at line 60 of file giaCut.c.

◆ vTtMem

Vec_Mem_t* Gia_Sto_t_::vTtMem

Definition at line 62 of file giaCut.c.

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

src/aig/gia/giaCut.c

Public Attributes