diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-11-11 08:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-11-11 08:01:00 -0800 |
commit | da5e0785dfb98335bd49a13bf9e86e736fb931be (patch) | |
tree | 3e88084f64093c8394fddf2d96b522a4df183981 /src/base/abci/abcResub.c | |
parent | faf1265bb82f934cc14b6106ccce89e37203efbd (diff) | |
download | abc-da5e0785dfb98335bd49a13bf9e86e736fb931be.tar.gz abc-da5e0785dfb98335bd49a13bf9e86e736fb931be.tar.bz2 abc-da5e0785dfb98335bd49a13bf9e86e736fb931be.zip |
Version abc61111
Diffstat (limited to 'src/base/abci/abcResub.c')
-rw-r--r-- | src/base/abci/abcResub.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/base/abci/abcResub.c b/src/base/abci/abcResub.c index 61be3dee..9fcc6979 100644 --- a/src/base/abci/abcResub.c +++ b/src/base/abci/abcResub.c @@ -147,9 +147,9 @@ int Abc_NtkResubstitute( Abc_Ntk_t * pNtk, int nCutMax, int nStepsMax, bool fUpd if ( fUpdateLevel ) Abc_NtkStartReverseLevels( pNtk ); -// if ( Abc_NtkLatchNum(pNtk) ) -// Abc_NtkForEachLatch(pNtk, pNode, i) -// pNode->pNext = pNode->pData; + if ( Abc_NtkLatchNum(pNtk) ) + Abc_NtkForEachLatch(pNtk, pNode, i) + pNode->pNext = pNode->pData; // resynthesize each node once nNodes = Abc_NtkObjNumMax(pNtk); @@ -221,9 +221,9 @@ pManRes->timeTotal = clock() - clkStart; Abc_NtkForEachObj( pNtk, pNode, i ) pNode->pData = NULL; -// if ( Abc_NtkLatchNum(pNtk) ) -// Abc_NtkForEachLatch(pNtk, pNode, i) -// pNode->pData = pNode->pNext, pNode->pNext = NULL; + if ( Abc_NtkLatchNum(pNtk) ) + Abc_NtkForEachLatch(pNtk, pNode, i) + pNode->pData = pNode->pNext, pNode->pNext = NULL; // put the nodes into the DFS order and reassign their IDs Abc_NtkReassignIds( pNtk ); |