diff options
Diffstat (limited to 'src/base/abc/abcNames.c')
| -rw-r--r-- | src/base/abc/abcNames.c | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/base/abc/abcNames.c b/src/base/abc/abcNames.c index 0abccd0a..dd97820d 100644 --- a/src/base/abc/abcNames.c +++ b/src/base/abc/abcNames.c @@ -547,6 +547,28 @@ void Abc_NtkShortNames( Abc_Ntk_t * pNtk ) Abc_NtkAddDummyLatchNames( pNtk ); } +/**Function************************************************************* + + Synopsis [Returns the hash table with these names.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +stmm_table * Abc_NtkNamesToTable( Vec_Ptr_t * vNodes ) +{ + stmm_table * tTable; + Abc_Obj_t * pObj; + int i; + tTable = stmm_init_table(strcmp, stmm_strhash); + Vec_PtrForEachEntry( vNodes, pObj, i ) + stmm_insert( tTable, Abc_ObjName(pObj), (char *)pObj ); + return tTable; +} + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |