Collaboration diagram for Shr_Man_t_:

[legend]

Public Attributes
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.

Member Data Documentation

◆ nDivMax

int Shr_Man_t_::nDivMax

Definition at line 57 of file giaShrink6.c.

◆ nNewSize

int Shr_Man_t_::nNewSize

Definition at line 58 of file giaShrink6.c.

◆ Pars

Bdc_Par_t Shr_Man_t_::Pars

Definition at line 74 of file giaShrink6.c.

◆ pFanTemp

Shr_Fan_t* Shr_Man_t_::pFanTemp

Definition at line 62 of file giaShrink6.c.

◆ pGia

Gia_Man_t* Shr_Man_t_::pGia

Definition at line 55 of file giaShrink6.c.

◆ pManDec

Bdc_Man_t* Shr_Man_t_::pManDec

Definition at line 73 of file giaShrink6.c.

◆ pManRsb

Rsb_Man_t* Shr_Man_t_::pManRsb

Definition at line 72 of file giaShrink6.c.

◆ pNew

Gia_Man_t* Shr_Man_t_::pNew

Definition at line 56 of file giaShrink6.c.

◆ vDivResub

Vec_Int_t* Shr_Man_t_::vDivResub

Definition at line 66 of file giaShrink6.c.

◆ vDivs

Vec_Int_t* Shr_Man_t_::vDivs

Definition at line 64 of file giaShrink6.c.

◆ vDivTruths

Vec_Wrd_t* Shr_Man_t_::vDivTruths

Definition at line 70 of file giaShrink6.c.

◆ vFanMem

Vec_Wrd_t* Shr_Man_t_::vFanMem

Definition at line 60 of file giaShrink6.c.

◆ vLeaves

Vec_Int_t* Shr_Man_t_::vLeaves

Definition at line 67 of file giaShrink6.c.

◆ vObj2Fan

Vec_Int_t* Shr_Man_t_::vObj2Fan

Definition at line 61 of file giaShrink6.c.

◆ vPrio

Vec_Int_t* Shr_Man_t_::vPrio

Definition at line 65 of file giaShrink6.c.

◆ vTruths

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:

src/aig/gia/giaShrink6.c

Public Attributes