Rf2_Man_t_ Struct Reference

Data Fields
Gia_Man_t *	pGia
Abc_Cex_t *	pCex
Vec_Int_t *	vMap
int	fPropFanout
int	fVerbose
Vec_Int_t *	vObjs
Vec_Int_t *	vFanins
Vec_Int_t *	pvVecs
Vec_Vec_t *	vGrp2Ppi
int	nMapWords
Rf2_Obj_t *	pObjs
int	nObjs
int	nObjsAlloc
int	nObjsFrame
int	nCalls
int	nRefines
clock_t	timeFwd
clock_t	timeBwd
clock_t	timeVer
clock_t	timeTotal

Detailed Description

Definition at line 84 of file absRefJ.c.

Field Documentation

int Rf2_Man_t_::fPropFanout

Definition at line 90 of file absRefJ.c.

int Rf2_Man_t_::fVerbose

Definition at line 91 of file absRefJ.c.

int Rf2_Man_t_::nCalls

Definition at line 103 of file absRefJ.c.

int Rf2_Man_t_::nMapWords

Definition at line 97 of file absRefJ.c.

int Rf2_Man_t_::nObjs

Definition at line 100 of file absRefJ.c.

int Rf2_Man_t_::nObjsAlloc

Definition at line 101 of file absRefJ.c.

int Rf2_Man_t_::nObjsFrame

Definition at line 102 of file absRefJ.c.

int Rf2_Man_t_::nRefines

Definition at line 104 of file absRefJ.c.

Abc_Cex_t* Rf2_Man_t_::pCex

Definition at line 88 of file absRefJ.c.

Gia_Man_t* Rf2_Man_t_::pGia

Definition at line 87 of file absRefJ.c.

Rf2_Obj_t* Rf2_Man_t_::pObjs

Definition at line 99 of file absRefJ.c.

Vec_Int_t* Rf2_Man_t_::pvVecs

Definition at line 95 of file absRefJ.c.

clock_t Rf2_Man_t_::timeBwd

Definition at line 107 of file absRefJ.c.

clock_t Rf2_Man_t_::timeFwd

Definition at line 106 of file absRefJ.c.

clock_t Rf2_Man_t_::timeTotal

Definition at line 109 of file absRefJ.c.

clock_t Rf2_Man_t_::timeVer

Definition at line 108 of file absRefJ.c.

Vec_Int_t* Rf2_Man_t_::vFanins

Definition at line 94 of file absRefJ.c.

Vec_Vec_t* Rf2_Man_t_::vGrp2Ppi

Definition at line 96 of file absRefJ.c.

Vec_Int_t* Rf2_Man_t_::vMap

Definition at line 89 of file absRefJ.c.

Vec_Int_t* Rf2_Man_t_::vObjs

Definition at line 93 of file absRefJ.c.

---

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

• absRefJ.c