Abc_RRMan_t_ Struct Reference

Data Fields
Abc_Ntk_t *	pNtk
int	nFaninLevels
int	nFanoutLevels
Abc_Obj_t *	pNode
Abc_Obj_t *	pFanin
Abc_Obj_t *	pFanout
Vec_Ptr_t *	vFaninLeaves
Vec_Ptr_t *	vFanoutRoots
Vec_Ptr_t *	vLeaves
Vec_Ptr_t *	vCone
Vec_Ptr_t *	vRoots
Abc_Ntk_t *	pWnd
Abc_Ntk_t *	pMiter
Prove_Params_t *	pParams
int	nNodesOld
int	nLevelsOld
int	nEdgesTried
int	nEdgesRemoved
abctime	timeWindow
abctime	timeMiter
abctime	timeProve
abctime	timeUpdate
abctime	timeTotal

Detailed Description

Definition at line 33 of file abcRr.c.

Field Documentation

int Abc_RRMan_t_::nEdgesRemoved

Definition at line 58 of file abcRr.c.

int Abc_RRMan_t_::nEdgesTried

Definition at line 57 of file abcRr.c.

int Abc_RRMan_t_::nFaninLevels

Definition at line 37 of file abcRr.c.

int Abc_RRMan_t_::nFanoutLevels

Definition at line 38 of file abcRr.c.

int Abc_RRMan_t_::nLevelsOld

Definition at line 56 of file abcRr.c.

int Abc_RRMan_t_::nNodesOld

Definition at line 55 of file abcRr.c.

Abc_Obj_t* Abc_RRMan_t_::pFanin

Definition at line 41 of file abcRr.c.

Abc_Obj_t* Abc_RRMan_t_::pFanout

Definition at line 42 of file abcRr.c.

Abc_Ntk_t* Abc_RRMan_t_::pMiter

Definition at line 52 of file abcRr.c.

Abc_Obj_t* Abc_RRMan_t_::pNode

Definition at line 40 of file abcRr.c.

Abc_Ntk_t* Abc_RRMan_t_::pNtk

Definition at line 36 of file abcRr.c.

Prove_Params_t* Abc_RRMan_t_::pParams

Definition at line 53 of file abcRr.c.

Abc_Ntk_t* Abc_RRMan_t_::pWnd

Definition at line 50 of file abcRr.c.

abctime Abc_RRMan_t_::timeMiter

Definition at line 60 of file abcRr.c.

abctime Abc_RRMan_t_::timeProve

Definition at line 61 of file abcRr.c.

abctime Abc_RRMan_t_::timeTotal

Definition at line 63 of file abcRr.c.

abctime Abc_RRMan_t_::timeUpdate

Definition at line 62 of file abcRr.c.

abctime Abc_RRMan_t_::timeWindow

Definition at line 59 of file abcRr.c.

Vec_Ptr_t* Abc_RRMan_t_::vCone

Definition at line 48 of file abcRr.c.

Vec_Ptr_t* Abc_RRMan_t_::vFaninLeaves

Definition at line 44 of file abcRr.c.

Vec_Ptr_t* Abc_RRMan_t_::vFanoutRoots

Definition at line 45 of file abcRr.c.

Vec_Ptr_t* Abc_RRMan_t_::vLeaves

Definition at line 47 of file abcRr.c.

Vec_Ptr_t* Abc_RRMan_t_::vRoots

Definition at line 49 of file abcRr.c.

---

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

• abcRr.c