Rnm_Man_t_ Struct Reference

#include <absRef.h>

Data Fields
Gia_Man_t *	pGia
Abc_Cex_t *	pCex
Vec_Int_t *	vMap
int	fPropFanout
int	fVerbose
int	nRefId
Vec_Int_t *	vObjs
Vec_Str_t *	vCounts
Vec_Int_t *	vFanins
Rnm_Obj_t *	pObjs
int	nObjs
int	nObjsAlloc
int	nObjsFrame
int	nCalls
int	nRefines
int	nVisited
abctime	timeFwd
abctime	timeBwd
abctime	timeVer
abctime	timeTotal

Detailed Description

Definition at line 56 of file absRef.h.

Field Documentation

int Rnm_Man_t_::fPropFanout

Definition at line 62 of file absRef.h.

int Rnm_Man_t_::fVerbose

Definition at line 63 of file absRef.h.

int Rnm_Man_t_::nCalls

Definition at line 82 of file absRef.h.

int Rnm_Man_t_::nObjs

Definition at line 79 of file absRef.h.

int Rnm_Man_t_::nObjsAlloc

Definition at line 80 of file absRef.h.

int Rnm_Man_t_::nObjsFrame

Definition at line 81 of file absRef.h.

int Rnm_Man_t_::nRefId

Definition at line 64 of file absRef.h.

int Rnm_Man_t_::nRefines

Definition at line 83 of file absRef.h.

int Rnm_Man_t_::nVisited

Definition at line 84 of file absRef.h.

Abc_Cex_t* Rnm_Man_t_::pCex

Definition at line 60 of file absRef.h.

Gia_Man_t* Rnm_Man_t_::pGia

Definition at line 59 of file absRef.h.

Rnm_Obj_t* Rnm_Man_t_::pObjs

Definition at line 78 of file absRef.h.

abctime Rnm_Man_t_::timeBwd

Definition at line 87 of file absRef.h.

abctime Rnm_Man_t_::timeFwd

Definition at line 86 of file absRef.h.

abctime Rnm_Man_t_::timeTotal

Definition at line 89 of file absRef.h.

abctime Rnm_Man_t_::timeVer

Definition at line 88 of file absRef.h.

Vec_Str_t* Rnm_Man_t_::vCounts

Definition at line 68 of file absRef.h.

Vec_Int_t* Rnm_Man_t_::vFanins

Definition at line 69 of file absRef.h.

Vec_Int_t* Rnm_Man_t_::vMap

Definition at line 61 of file absRef.h.

Vec_Int_t* Rnm_Man_t_::vObjs

Definition at line 66 of file absRef.h.

---

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

• absRef.h