ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Abc_RRMan_t_ Struct Reference
Collaboration diagram for Abc_RRMan_t_:
Collaboration graph
[legend]

Public Attributes

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.

Member Data Documentation

◆ nEdgesRemoved

int Abc_RRMan_t_::nEdgesRemoved

Definition at line 58 of file abcRr.c.

◆ nEdgesTried

int Abc_RRMan_t_::nEdgesTried

Definition at line 57 of file abcRr.c.

◆ nFaninLevels

int Abc_RRMan_t_::nFaninLevels

Definition at line 37 of file abcRr.c.

◆ nFanoutLevels

int Abc_RRMan_t_::nFanoutLevels

Definition at line 38 of file abcRr.c.

◆ nLevelsOld

int Abc_RRMan_t_::nLevelsOld

Definition at line 56 of file abcRr.c.

◆ nNodesOld

int Abc_RRMan_t_::nNodesOld

Definition at line 55 of file abcRr.c.

◆ pFanin

Abc_Obj_t* Abc_RRMan_t_::pFanin

Definition at line 41 of file abcRr.c.

◆ pFanout

Abc_Obj_t* Abc_RRMan_t_::pFanout

Definition at line 42 of file abcRr.c.

◆ pMiter

Abc_Ntk_t* Abc_RRMan_t_::pMiter

Definition at line 52 of file abcRr.c.

◆ pNode

Abc_Obj_t* Abc_RRMan_t_::pNode

Definition at line 40 of file abcRr.c.

◆ pNtk

Abc_Ntk_t* Abc_RRMan_t_::pNtk

Definition at line 36 of file abcRr.c.

◆ pParams

Prove_Params_t* Abc_RRMan_t_::pParams

Definition at line 53 of file abcRr.c.

◆ pWnd

Abc_Ntk_t* Abc_RRMan_t_::pWnd

Definition at line 50 of file abcRr.c.

◆ timeMiter

abctime Abc_RRMan_t_::timeMiter

Definition at line 60 of file abcRr.c.

◆ timeProve

abctime Abc_RRMan_t_::timeProve

Definition at line 61 of file abcRr.c.

◆ timeTotal

abctime Abc_RRMan_t_::timeTotal

Definition at line 63 of file abcRr.c.

◆ timeUpdate

abctime Abc_RRMan_t_::timeUpdate

Definition at line 62 of file abcRr.c.

◆ timeWindow

abctime Abc_RRMan_t_::timeWindow

Definition at line 59 of file abcRr.c.

◆ vCone

Vec_Ptr_t* Abc_RRMan_t_::vCone

Definition at line 48 of file abcRr.c.

◆ vFaninLeaves

Vec_Ptr_t* Abc_RRMan_t_::vFaninLeaves

Definition at line 44 of file abcRr.c.

◆ vFanoutRoots

Vec_Ptr_t* Abc_RRMan_t_::vFanoutRoots

Definition at line 45 of file abcRr.c.

◆ vLeaves

Vec_Ptr_t* Abc_RRMan_t_::vLeaves

Definition at line 47 of file abcRr.c.

◆ vRoots

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: