Abc_RRMan_t_ Struct Reference

Collaboration diagram for Abc_RRMan_t_:

[legend]

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
int	timeWindow
int	timeMiter
int	timeProve
int	timeUpdate
int	timeTotal

---

Detailed Description

Definition at line 30 of file abcRr.c.

---

Field Documentation

int Abc_RRMan_t_::nEdgesRemoved

Definition at line 55 of file abcRr.c.

int Abc_RRMan_t_::nEdgesTried

Definition at line 54 of file abcRr.c.

int Abc_RRMan_t_::nFaninLevels

Definition at line 34 of file abcRr.c.

int Abc_RRMan_t_::nFanoutLevels

Definition at line 35 of file abcRr.c.

int Abc_RRMan_t_::nLevelsOld

Definition at line 53 of file abcRr.c.

int Abc_RRMan_t_::nNodesOld

Definition at line 52 of file abcRr.c.

Abc_Obj_t* Abc_RRMan_t_::pFanin

Definition at line 38 of file abcRr.c.

Abc_Obj_t* Abc_RRMan_t_::pFanout

Definition at line 39 of file abcRr.c.

Abc_Ntk_t* Abc_RRMan_t_::pMiter

Definition at line 49 of file abcRr.c.

Abc_Obj_t* Abc_RRMan_t_::pNode

Definition at line 37 of file abcRr.c.

Abc_Ntk_t* Abc_RRMan_t_::pNtk

Definition at line 33 of file abcRr.c.

Prove_Params_t* Abc_RRMan_t_::pParams

Definition at line 50 of file abcRr.c.

Abc_Ntk_t* Abc_RRMan_t_::pWnd

Definition at line 47 of file abcRr.c.

int Abc_RRMan_t_::timeMiter

Definition at line 57 of file abcRr.c.

int Abc_RRMan_t_::timeProve

Definition at line 58 of file abcRr.c.

int Abc_RRMan_t_::timeTotal

Definition at line 60 of file abcRr.c.

int Abc_RRMan_t_::timeUpdate

Definition at line 59 of file abcRr.c.

int Abc_RRMan_t_::timeWindow

Definition at line 56 of file abcRr.c.

Vec_Ptr_t* Abc_RRMan_t_::vCone

Definition at line 45 of file abcRr.c.

Vec_Ptr_t* Abc_RRMan_t_::vFaninLeaves

Definition at line 41 of file abcRr.c.

Vec_Ptr_t* Abc_RRMan_t_::vFanoutRoots

Definition at line 42 of file abcRr.c.

Vec_Ptr_t* Abc_RRMan_t_::vLeaves

Definition at line 44 of file abcRr.c.

Vec_Ptr_t* Abc_RRMan_t_::vRoots

Definition at line 46 of file abcRr.c.

---

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

• src/base/abci/abcRr.c