diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-30 15:21:47 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-30 15:21:47 -0700 |
| commit | 1586d96c3e9cdb976719800fcfa90247bc18fc43 (patch) | |
| tree | ab1fef3431a4b8ae453720dcc9d532c471c6df8a | |
| parent | 979086781741bb37b903793a1484366e418abc6c (diff) | |
| download | abc-1586d96c3e9cdb976719800fcfa90247bc18fc43.tar.gz abc-1586d96c3e9cdb976719800fcfa90247bc18fc43.tar.bz2 abc-1586d96c3e9cdb976719800fcfa90247bc18fc43.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 | 24 |
1 files changed, 14 insertions, 10 deletions
diff --git a/src/base/abc/abcNtk.c b/src/base/abc/abcNtk.c index fb3b179b..e348aca9 100644 --- a/src/base/abc/abcNtk.c +++ b/src/base/abc/abcNtk.c @@ -71,16 +71,20 @@ Abc_Ntk_t * Abc_NtkAlloc( Abc_NtkType_t Type, Abc_NtkFunc_t Func, int fUseMemMan // start the functionality manager if ( Abc_NtkIsStrash(pNtk) ) pNtk->pManFunc = Abc_AigAlloc( pNtk ); - 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 ); + 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 ); + } // name manager pNtk->pManName = Nm_ManCreate( 200 ); // attribute manager |