diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-12 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-12 08:01:00 -0700 |
| commit | c065b2c5daea65cb98659aa1bb56a138ca7cc290 (patch) | |
| tree | 8a13866910599fe7fe347fa4fbefe8bfd5693550 /src/base/abci/abcFraig.c | |
| parent | 798bbfc5a9b6f7dd5b47425c8c7026762451b0ba (diff) | |
| download | abc-c065b2c5daea65cb98659aa1bb56a138ca7cc290.tar.gz abc-c065b2c5daea65cb98659aa1bb56a138ca7cc290.tar.bz2 abc-c065b2c5daea65cb98659aa1bb56a138ca7cc290.zip | |
Version abc50912
Diffstat (limited to 'src/base/abci/abcFraig.c')
| -rw-r--r-- | src/base/abci/abcFraig.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/base/abci/abcFraig.c b/src/base/abci/abcFraig.c index 7a8eed5d..fe4f0511 100644 --- a/src/base/abci/abcFraig.c +++ b/src/base/abci/abcFraig.c @@ -88,7 +88,7 @@ void * Abc_NtkToFraig( Abc_Ntk_t * pNtk, void * pParams, int fAllNodes ) ProgressBar * pProgress; Fraig_Node_t * pNodeFraig; Vec_Ptr_t * vNodes; - Abc_Obj_t * pNode, * pConst1, * pReset; + Abc_Obj_t * pNode, * pConst1; int fInternal = ((Fraig_Params_t *)pParams)->fInternal; int i; @@ -102,7 +102,6 @@ void * Abc_NtkToFraig( Abc_Ntk_t * pNtk, void * pParams, int fAllNodes ) Abc_NtkForEachCi( pNtk, pNode, i ) pNode->pCopy = (Abc_Obj_t *)Fraig_ManReadIthVar(pMan, i); pConst1 = Abc_AigConst1( pNtk->pManFunc ); - pReset = Abc_AigReset( pNtk->pManFunc ); // perform strashing vNodes = Abc_AigDfs( pNtk, fAllNodes, 0 ); @@ -114,8 +113,6 @@ void * Abc_NtkToFraig( Abc_Ntk_t * pNtk, void * pParams, int fAllNodes ) Extra_ProgressBarUpdate( pProgress, i, NULL ); if ( pNode == pConst1 ) pNodeFraig = Fraig_ManReadConst1(pMan); - else if ( pNode == pReset ) - continue; else pNodeFraig = Fraig_NodeAnd( pMan, Fraig_NotCond( Abc_ObjFanin0(pNode)->pCopy, Abc_ObjFaninC0(pNode) ), |