Shr_Man_t_ Struct Reference

Data Fields
Gia_Man_t *	pGia
Gia_Man_t *	pNew
int	nDivMax
int	nNewSize
Vec_Wrd_t *	vFanMem
Vec_Int_t *	vObj2Fan
Shr_Fan_t *	pFanTemp
Vec_Int_t *	vDivs
Vec_Int_t *	vPrio
Vec_Int_t *	vDivResub
Vec_Int_t *	vLeaves
Vec_Wrd_t *	vTruths
Vec_Wrd_t *	vDivTruths
Rsb_Man_t *	pManRsb
Bdc_Man_t *	pManDec
Bdc_Par_t	Pars

Detailed Description

Definition at line 53 of file giaShrink6.c.

Field Documentation

int Shr_Man_t_::nDivMax

Definition at line 57 of file giaShrink6.c.

int Shr_Man_t_::nNewSize

Definition at line 58 of file giaShrink6.c.

Bdc_Par_t Shr_Man_t_::Pars

Definition at line 74 of file giaShrink6.c.

Shr_Fan_t* Shr_Man_t_::pFanTemp

Definition at line 62 of file giaShrink6.c.

Gia_Man_t* Shr_Man_t_::pGia

Definition at line 55 of file giaShrink6.c.

Bdc_Man_t* Shr_Man_t_::pManDec

Definition at line 73 of file giaShrink6.c.

Rsb_Man_t* Shr_Man_t_::pManRsb

Definition at line 72 of file giaShrink6.c.

Gia_Man_t* Shr_Man_t_::pNew

Definition at line 56 of file giaShrink6.c.

Vec_Int_t* Shr_Man_t_::vDivResub

Definition at line 66 of file giaShrink6.c.

Vec_Int_t* Shr_Man_t_::vDivs

Definition at line 64 of file giaShrink6.c.

Vec_Wrd_t* Shr_Man_t_::vDivTruths

Definition at line 70 of file giaShrink6.c.

Vec_Wrd_t* Shr_Man_t_::vFanMem

Definition at line 60 of file giaShrink6.c.

Vec_Int_t* Shr_Man_t_::vLeaves

Definition at line 67 of file giaShrink6.c.

Vec_Int_t* Shr_Man_t_::vObj2Fan

Definition at line 61 of file giaShrink6.c.

Vec_Int_t* Shr_Man_t_::vPrio

Definition at line 65 of file giaShrink6.c.

Vec_Wrd_t* Shr_Man_t_::vTruths

Definition at line 69 of file giaShrink6.c.

---

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

• giaShrink6.c