diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-02 08:38:54 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-02 08:38:54 -0800 |
| commit | 7441908ffbafd6bed148596fc53fd503dff6fa32 (patch) | |
| tree | 2d61bb8ae38536c314a02eee33b9b61436bc9892 /src/base/cba | |
| parent | 2d90b916e6e46513786b7a0e38e8c0b7b938c623 (diff) | |
| download | abc-7441908ffbafd6bed148596fc53fd503dff6fa32.tar.gz abc-7441908ffbafd6bed148596fc53fd503dff6fa32.tar.bz2 abc-7441908ffbafd6bed148596fc53fd503dff6fa32.zip | |
Improvements to the CBA package.
Diffstat (limited to 'src/base/cba')
| -rw-r--r-- | src/base/cba/cbaNtk.c | 2 | ||||
| -rw-r--r-- | src/base/cba/cbaPtrAbc.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/base/cba/cbaNtk.c b/src/base/cba/cbaNtk.c index a37a60cf..b7684b73 100644 --- a/src/base/cba/cbaNtk.c +++ b/src/base/cba/cbaNtk.c @@ -323,7 +323,7 @@ void Cba_ManAssignInternWordNamesNtk( Cba_Ntk_t * p, Vec_Int_t * vMap ) } else { - int Type = Cba_ObjType(p, iObj); + //int Type = Cba_ObjType(p, iObj); int Range = Cba_ObjIsPi(p, iObj) ? Cba_ObjPiRange(p, iObj) : Cba_BoxBoRange(p, iObj); iName = Cba_ManAssignInternTwo( p, nNames++, nDigits, Cba_ObjIsPi(p, iObj), vMap ); if ( Range == 1 ) diff --git a/src/base/cba/cbaPtrAbc.c b/src/base/cba/cbaPtrAbc.c index 38391004..b2c635ca 100644 --- a/src/base/cba/cbaPtrAbc.c +++ b/src/base/cba/cbaPtrAbc.c @@ -345,7 +345,7 @@ int Cba_NtkDeriveFromPtr( Cba_Ntk_t * pNtk, Vec_Ptr_t * vNtk, Vec_Int_t * vMap, } // update map Cba_NtkForEachCi( pNtk, iObj ) - Vec_IntSetEntryFull( vMap, Cba_ObjName(pNtk, iObj), -1 ); + Vec_IntSetEntryFull( vMap, Cba_ObjNameId(pNtk, iObj), -1 ); // double check Vec_IntForEachEntry( vMap, iObj, i ) assert( iObj == -1 ); |