Collaboration diagram for Hcd_Man_t_:

[legend]

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

Member Data Documentation

◆ fVerbose

int Hcd_Man_t_::fVerbose

Definition at line 36 of file giaGiarf.c.

◆ nBTLimit

int Hcd_Man_t_::nBTLimit

Definition at line 35 of file giaGiarf.c.

◆ pGia

Gia_Man_t* Hcd_Man_t_::pGia

Definition at line 34 of file giaGiarf.c.

◆ pSimInfo

unsigned* Hcd_Man_t_::pSimInfo

Definition at line 38 of file giaGiarf.c.

◆ vClassNew

Vec_Int_t* Hcd_Man_t_::vClassNew

Definition at line 43 of file giaGiarf.c.

◆ vClassOld

Vec_Int_t* Hcd_Man_t_::vClassOld

Definition at line 42 of file giaGiarf.c.

◆ vClassTemp

Vec_Int_t* Hcd_Man_t_::vClassTemp

Definition at line 44 of file giaGiarf.c.

◆ vRefinedC

Vec_Int_t* Hcd_Man_t_::vRefinedC

Definition at line 45 of file giaGiarf.c.

◆ vSimInfo

Vec_Ptr_t* Hcd_Man_t_::vSimInfo

Definition at line 39 of file giaGiarf.c.

◆ vSimPres

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:

src/aig/gia/giaGiarf.c

Public Attributes