diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-17 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-17 08:01:00 -0700 |
commit | dd5531caf916d526551049b59151990adaef575d (patch) | |
tree | 8520c4dee3ec65f1bd3c44104f4d80ff9df0caab /src/aig/hop/hopMan.c | |
parent | 2696cf05e568f7a928f32b01534d106bf626ef8a (diff) | |
download | abc-dd5531caf916d526551049b59151990adaef575d.tar.gz abc-dd5531caf916d526551049b59151990adaef575d.tar.bz2 abc-dd5531caf916d526551049b59151990adaef575d.zip |
Version abc70317
Diffstat (limited to 'src/aig/hop/hopMan.c')
-rw-r--r-- | src/aig/hop/hopMan.c | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/aig/hop/hopMan.c b/src/aig/hop/hopMan.c index 4fa52fbd..b7858564 100644 --- a/src/aig/hop/hopMan.c +++ b/src/aig/hop/hopMan.c @@ -94,10 +94,10 @@ void Hop_ManStop( Hop_Man_t * p ) if ( p->time1 ) { PRT( "time1", p->time1 ); } if ( p->time2 ) { PRT( "time2", p->time2 ); } // Hop_TableProfile( p ); - if ( p->vChunks ) Hop_ManStopMemory( p ); - if ( p->vPis ) Vec_PtrFree( p->vPis ); - if ( p->vPos ) Vec_PtrFree( p->vPos ); - if ( p->vNodes ) Vec_PtrFree( p->vNodes ); + if ( p->vChunks ) Hop_ManStopMemory( p ); + if ( p->vPis ) Vec_PtrFree( p->vPis ); + if ( p->vPos ) Vec_PtrFree( p->vPos ); + if ( p->vObjs ) Vec_PtrFree( p->vObjs ); free( p->pTable ); free( p ); } @@ -115,20 +115,20 @@ void Hop_ManStop( Hop_Man_t * p ) ***********************************************************************/ int Hop_ManCleanup( Hop_Man_t * p ) { - Vec_Ptr_t * vNodes; + Vec_Ptr_t * vObjs; Hop_Obj_t * pNode; int i, nNodesOld; assert( p->fRefCount ); nNodesOld = Hop_ManNodeNum(p); // collect roots of dangling nodes - vNodes = Vec_PtrAlloc( 100 ); + vObjs = Vec_PtrAlloc( 100 ); Hop_ManForEachNode( p, pNode, i ) if ( Hop_ObjRefs(pNode) == 0 ) - Vec_PtrPush( vNodes, pNode ); + Vec_PtrPush( vObjs, pNode ); // recursively remove dangling nodes - Vec_PtrForEachEntry( vNodes, pNode, i ) + Vec_PtrForEachEntry( vObjs, pNode, i ) Hop_ObjDelete_rec( p, pNode ); - Vec_PtrFree( vNodes ); + Vec_PtrFree( vObjs ); return nNodesOld - Hop_ManNodeNum(p); } |