diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-02-06 08:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-02-06 08:01:00 -0800 |
commit | a13c64a5b4164b5a10943c0d5283260252be30d0 (patch) | |
tree | 790d3d526396ef0ea7f00dddb99283e73e94e00e /src/opt/res/resDivs.c | |
parent | 8da52b6f202444711da6b1f1baac92e0a516c8e6 (diff) | |
download | abc-a13c64a5b4164b5a10943c0d5283260252be30d0.tar.gz abc-a13c64a5b4164b5a10943c0d5283260252be30d0.tar.bz2 abc-a13c64a5b4164b5a10943c0d5283260252be30d0.zip |
Version abc70206
Diffstat (limited to 'src/opt/res/resDivs.c')
-rw-r--r-- | src/opt/res/resDivs.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/opt/res/resDivs.c b/src/opt/res/resDivs.c index af30592c..38294428 100644 --- a/src/opt/res/resDivs.c +++ b/src/opt/res/resDivs.c @@ -26,7 +26,6 @@ //////////////////////////////////////////////////////////////////////// static void Res_WinMarkTfi( Res_Win_t * p ); -static int Res_WinVisitMffc( Res_Win_t * p ); //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// @@ -61,7 +60,7 @@ void Res_WinDivisors( Res_Win_t * p, int nLevDivMax ) // (3) the node's fanins (these are treated as a special case) Abc_NtkIncrementTravId( p->pNode->pNtk ); Res_WinSweepLeafTfo_rec( p->pNode, p->nLevDivMax ); - Res_WinVisitMffc( p ); + Res_WinVisitMffc( p->pNode ); Abc_ObjForEachFanin( p->pNode, pObj, k ) Abc_NodeSetTravIdCurrent( pObj ); @@ -260,13 +259,14 @@ int Res_NodeRef_rec( Abc_Obj_t * pNode ) SeeAlso [] ***********************************************************************/ -int Res_WinVisitMffc( Res_Win_t * p ) +int Res_WinVisitMffc( Abc_Obj_t * pNode ) { int Count1, Count2; + assert( Abc_ObjIsNode(pNode) ); // dereference the node (mark with the current trav ID) - Count1 = Res_NodeDeref_rec( p->pNode ); + Count1 = Res_NodeDeref_rec( pNode ); // reference it back - Count2 = Res_NodeRef_rec( p->pNode ); + Count2 = Res_NodeRef_rec( pNode ); assert( Count1 == Count2 ); return Count1; } |