diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-30 15:28:53 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-30 15:28:53 -0700 |
| commit | 6bc381baa3d1b5c2e9024185018aed5736376808 (patch) | |
| tree | 79cf46cef7fb096d3e49595228278a49cabbd7b0 | |
| parent | 1586d96c3e9cdb976719800fcfa90247bc18fc43 (diff) | |
| download | abc-6bc381baa3d1b5c2e9024185018aed5736376808.tar.gz abc-6bc381baa3d1b5c2e9024185018aed5736376808.tar.bz2 abc-6bc381baa3d1b5c2e9024185018aed5736376808.zip | |
Changes to align node IDs in Abc_Ntk_t representing a logic network with Abc_Ntk_t representing an AIG, by skipping object ID number 0 reserved for the constant node.
| -rw-r--r-- | src/base/abc/abcNtk.c | 26 |
1 files changed, 12 insertions, 14 deletions
diff --git a/src/base/abc/abcNtk.c b/src/base/abc/abcNtk.c index e348aca9..cb52924f 100644 --- a/src/base/abc/abcNtk.c +++ b/src/base/abc/abcNtk.c @@ -69,22 +69,20 @@ Abc_Ntk_t * Abc_NtkAlloc( Abc_NtkType_t Type, Abc_NtkFunc_t Func, int fUseMemMan // get ready to assign the first Obj ID pNtk->nTravIds = 1; // start the functionality manager + if ( !Abc_NtkIsStrash(pNtk) ) + Vec_PtrPush( pNtk->vObjs, NULL ); if ( Abc_NtkIsStrash(pNtk) ) pNtk->pManFunc = Abc_AigAlloc( pNtk ); - else - { - Vec_PtrPush( pNtk->vObjs, NULL ); - if ( Abc_NtkHasSop(pNtk) || Abc_NtkHasBlifMv(pNtk) ) - pNtk->pManFunc = Mem_FlexStart(); - else if ( Abc_NtkHasBdd(pNtk) ) - pNtk->pManFunc = Cudd_Init( 20, 0, CUDD_UNIQUE_SLOTS, CUDD_CACHE_SLOTS, 0 ); - else if ( Abc_NtkHasAig(pNtk) ) - pNtk->pManFunc = Hop_ManStart(); - else if ( Abc_NtkHasMapping(pNtk) ) - pNtk->pManFunc = Abc_FrameReadLibGen(); - else if ( !Abc_NtkHasBlackbox(pNtk) ) - assert( 0 ); - } + else if ( Abc_NtkHasSop(pNtk) || Abc_NtkHasBlifMv(pNtk) ) + pNtk->pManFunc = Mem_FlexStart(); + else if ( Abc_NtkHasBdd(pNtk) ) + pNtk->pManFunc = Cudd_Init( 20, 0, CUDD_UNIQUE_SLOTS, CUDD_CACHE_SLOTS, 0 ); + else if ( Abc_NtkHasAig(pNtk) ) + pNtk->pManFunc = Hop_ManStart(); + else if ( Abc_NtkHasMapping(pNtk) ) + pNtk->pManFunc = Abc_FrameReadLibGen(); + else if ( !Abc_NtkHasBlackbox(pNtk) ) + assert( 0 ); // name manager pNtk->pManName = Nm_ManCreate( 200 ); // attribute manager |