Hcd_Man_t_ Struct Reference

Data Fields
Gia_Man_t *	pGia
int	nBTLimit
int	fVerbose
unsigned *	pSimInfo
Vec_Ptr_t *	vSimInfo
Vec_Ptr_t *	vSimPres
Vec_Int_t *	vClassOld
Vec_Int_t *	vClassNew
Vec_Int_t *	vClassTemp
Vec_Int_t *	vRefinedC

Detailed Description

Definition at line 31 of file giaGiarf.c.

Field Documentation

int Hcd_Man_t_::fVerbose

Definition at line 36 of file giaGiarf.c.

int Hcd_Man_t_::nBTLimit

Definition at line 35 of file giaGiarf.c.

Gia_Man_t* Hcd_Man_t_::pGia

Definition at line 34 of file giaGiarf.c.

unsigned* Hcd_Man_t_::pSimInfo

Definition at line 38 of file giaGiarf.c.

Vec_Int_t* Hcd_Man_t_::vClassNew

Definition at line 43 of file giaGiarf.c.

Vec_Int_t* Hcd_Man_t_::vClassOld

Definition at line 42 of file giaGiarf.c.

Vec_Int_t* Hcd_Man_t_::vClassTemp

Definition at line 44 of file giaGiarf.c.

Vec_Int_t* Hcd_Man_t_::vRefinedC

Definition at line 45 of file giaGiarf.c.

Vec_Ptr_t* Hcd_Man_t_::vSimInfo

Definition at line 39 of file giaGiarf.c.

Vec_Ptr_t* Hcd_Man_t_::vSimPres

Definition at line 40 of file giaGiarf.c.

---

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

• giaGiarf.c