diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-20 20:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-20 20:01:00 -0700 |
commit | 7ec48bc20de6209f311715f4b1479cb2e0a4d906 (patch) | |
tree | 00ee497c28001a646f98407115f5541fb49adf83 /src/aig/nwk/nwkFanio.c | |
parent | 7ff4c2b2719a78ba7d1ddcfdf9356affa291e876 (diff) | |
download | abc-7ec48bc20de6209f311715f4b1479cb2e0a4d906.tar.gz abc-7ec48bc20de6209f311715f4b1479cb2e0a4d906.tar.bz2 abc-7ec48bc20de6209f311715f4b1479cb2e0a4d906.zip |
Version abc80420_2
Diffstat (limited to 'src/aig/nwk/nwkFanio.c')
-rw-r--r-- | src/aig/nwk/nwkFanio.c | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/src/aig/nwk/nwkFanio.c b/src/aig/nwk/nwkFanio.c index 1b701e9e..89bf60ee 100644 --- a/src/aig/nwk/nwkFanio.c +++ b/src/aig/nwk/nwkFanio.c @@ -125,58 +125,6 @@ static inline int Nwk_ObjReallocIsNeeded( Nwk_Obj_t * pObj ) { return pObj->nFanins + pObj->nFanouts == pObj->nFanioAlloc; } - -/**Function************************************************************* - - Synopsis [Reallocates the object.] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -static Nwk_Obj_t * Nwk_ManReallocNode_old( Nwk_Obj_t * pObj ) -{ - Nwk_Obj_t * pObjNew, * pTemp; - int i, iNum; - assert( Nwk_ObjReallocIsNeeded(pObj) ); - pObjNew = (Nwk_Obj_t *)Aig_MmFlexEntryFetch( pObj->pMan->pMemObjs, sizeof(Nwk_Obj_t) + 2 * pObj->nFanioAlloc * sizeof(Nwk_Obj_t *) ); - memmove( pObjNew, pObj, sizeof(Nwk_Obj_t) + pObj->nFanioAlloc * sizeof(Nwk_Obj_t *) ); - pObjNew->nFanioAlloc = 2 * pObj->nFanioAlloc; - // update the fanouts' fanins - Nwk_ObjForEachFanout( pObj, pTemp, i ) - { - iNum = Nwk_ObjFindFanin( pTemp, pObj ); - if ( iNum == -1 ) - printf( "Nwk_ManReallocNode(): Error! Fanin cannot be found.\n" ); - pTemp->pFanio[iNum] = pObjNew; - } - // update the fanins' fanouts - Nwk_ObjForEachFanin( pObj, pTemp, i ) - { - iNum = Nwk_ObjFindFanout( pTemp, pObj ); - if ( iNum == -1 ) - printf( "Nwk_ManReallocNode(): Error! Fanout cannot be found.\n" ); - pTemp->pFanio[pTemp->nFanins+iNum] = pObjNew; - } - memset( pObj, 0, sizeof(Nwk_Obj_t) + pObj->nFanioAlloc * sizeof(Nwk_Obj_t *) ); - assert( Nwk_ManObj(pObjNew->pMan, pObjNew->Id) == pObj ); - Vec_PtrWriteEntry( pObjNew->pMan->vObjs, pObjNew->Id, pObjNew ); - if ( Nwk_ObjIsCi(pObjNew) ) - { - assert( Nwk_ManCi(pObjNew->pMan, pObjNew->PioId) == pObj ); - Vec_PtrWriteEntry( pObjNew->pMan->vCis, pObjNew->PioId, pObjNew ); - } - if ( Nwk_ObjIsCo(pObjNew) ) - { - assert( Nwk_ManCo(pObjNew->pMan, pObjNew->PioId) == pObj ); - Vec_PtrWriteEntry( pObjNew->pMan->vCos, pObjNew->PioId, pObjNew ); - } - pObjNew->pMan->nRealloced++; - return pObjNew; -} /**Function************************************************************* @@ -200,7 +148,6 @@ static Nwk_Obj_t * Nwk_ManReallocNode( Nwk_Obj_t * pObj ) return NULL; } - /**Function************************************************************* Synopsis [Creates fanout/fanin relationship between the nodes.] |