diff options
Diffstat (limited to 'src/aig/nwk/nwkStrash.c')
| -rw-r--r-- | src/aig/nwk/nwkStrash.c | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/aig/nwk/nwkStrash.c b/src/aig/nwk/nwkStrash.c index 3bcfcd41..b5e2b387 100644 --- a/src/aig/nwk/nwkStrash.c +++ b/src/aig/nwk/nwkStrash.c @@ -95,7 +95,8 @@ Aig_Obj_t * Nwk_ManStrashNode( Aig_Man_t * p, Nwk_Obj_t * pObj ) ***********************************************************************/ Aig_Man_t * Nwk_ManStrash( Nwk_Man_t * pNtk ) { - Aig_Man_t * pMan;//, * pTemp; + Vec_Ptr_t * vObjs; + Aig_Man_t * pMan; Aig_Obj_t * pObjNew; Nwk_Obj_t * pObj; int i, Level; @@ -105,6 +106,10 @@ Aig_Man_t * Nwk_ManStrash( Nwk_Man_t * pNtk ) pMan->pManTime = Tim_ManDup( pNtk->pManTime, 1 ); Tim_ManIncrementTravId( pMan->pManTime ); Nwk_ManForEachObj( pNtk, pObj, i ) + pObj->pCopy = NULL; +// Nwk_ManForEachObj( pNtk, pObj, i ) + vObjs = Nwk_ManDfs( pNtk ); + Vec_PtrForEachEntry( vObjs, pObj, i ) { if ( Nwk_ObjIsCi(pObj) ) { @@ -126,9 +131,8 @@ Aig_Man_t * Nwk_ManStrash( Nwk_Man_t * pNtk ) assert( 0 ); pObj->pCopy = pObjNew; } + Vec_PtrFree( vObjs ); Aig_ManCleanup( pMan ); -// pMan = Aig_ManDupOrdered( pTemp = pMan ); -// Aig_ManStop( pTemp ); return pMan; } |