Unm_Man_t_ Struct Reference

Data Fields
Gia_Man_t *	pGia
Gia_Man_t *	pNew
Hash_IntMan_t *	pHash
int	nNewSize
Vec_Int_t *	vUsed
Vec_Int_t *	vId2Used
Vec_Wrd_t *	vTruths
Vec_Int_t *	vLeaves
abctime	clkStart

Detailed Description

Definition at line 34 of file giaShrink7.c.

Field Documentation

abctime Unm_Man_t_::clkStart

Definition at line 44 of file giaShrink7.c.

int Unm_Man_t_::nNewSize

Definition at line 39 of file giaShrink7.c.

Gia_Man_t* Unm_Man_t_::pGia

Definition at line 36 of file giaShrink7.c.

Hash_IntMan_t* Unm_Man_t_::pHash

Definition at line 38 of file giaShrink7.c.

Gia_Man_t* Unm_Man_t_::pNew

Definition at line 37 of file giaShrink7.c.

Vec_Int_t* Unm_Man_t_::vId2Used

Definition at line 41 of file giaShrink7.c.

Vec_Int_t* Unm_Man_t_::vLeaves

Definition at line 43 of file giaShrink7.c.

Vec_Wrd_t* Unm_Man_t_::vTruths

Definition at line 42 of file giaShrink7.c.

Vec_Int_t* Unm_Man_t_::vUsed

Definition at line 40 of file giaShrink7.c.

---

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

• giaShrink7.c