abc-master
|
DECLARATIONS ///. More...
Data Fields | |
int | nNodeSizeMax |
int | nConeSizeMax |
int | nNodeFanStop |
int | nConeFanStop |
Vec_Ptr_t * | vNodeLeaves |
Vec_Ptr_t * | vConeLeaves |
Vec_Ptr_t * | vVisited |
Vec_Vec_t * | vLevels |
Vec_Ptr_t * | vNodesTfo |
DECLARATIONS ///.
CFile****************************************************************
FileName [abcReconv.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Network and node package.]
Synopsis [Computation of reconvergence-driven cuts.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]
Definition at line 31 of file abcReconv.c.
int Abc_ManCut_t_::nConeFanStop |
Definition at line 37 of file abcReconv.c.
int Abc_ManCut_t_::nConeSizeMax |
Definition at line 35 of file abcReconv.c.
int Abc_ManCut_t_::nNodeFanStop |
Definition at line 36 of file abcReconv.c.
int Abc_ManCut_t_::nNodeSizeMax |
Definition at line 34 of file abcReconv.c.
Vec_Ptr_t* Abc_ManCut_t_::vConeLeaves |
Definition at line 40 of file abcReconv.c.
Vec_Vec_t* Abc_ManCut_t_::vLevels |
Definition at line 42 of file abcReconv.c.
Vec_Ptr_t* Abc_ManCut_t_::vNodeLeaves |
Definition at line 39 of file abcReconv.c.
Vec_Ptr_t* Abc_ManCut_t_::vNodesTfo |
Definition at line 43 of file abcReconv.c.
Vec_Ptr_t* Abc_ManCut_t_::vVisited |
Definition at line 41 of file abcReconv.c.