From 2e1dcdd239c1376a4fa2a7b9d01515319b74b4d0 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 12 Jan 2012 23:29:47 -0800 Subject: Added model ID inside the design. --- src/base/abc/abc.h | 1 + src/base/abc/abcLib.c | 2 ++ 2 files changed, 3 insertions(+) (limited to 'src') diff --git a/src/base/abc/abc.h b/src/base/abc/abc.h index de789fc6..8df9ea70 100644 --- a/src/base/abc/abc.h +++ b/src/base/abc/abc.h @@ -193,6 +193,7 @@ struct Abc_Ntk_t_ Abc_Lib_t * pDesign; short fHieVisited; // flag to mark the visited network short fHiePath; // flag to mark the network on the path + int Id; // model ID // miscellaneous data members int nTravIds; // the unique traversal IDs of nodes Mem_Fixed_t * pMmObj; // memory manager for objects diff --git a/src/base/abc/abcLib.c b/src/base/abc/abcLib.c index f376f039..a9bb5691 100644 --- a/src/base/abc/abcLib.c +++ b/src/base/abc/abcLib.c @@ -174,6 +174,8 @@ int Abc_LibAddModel( Abc_Lib_t * pLib, Abc_Ntk_t * pNtk ) if ( st_is_member( pLib->tModules, (char *)pNtk->pName ) ) return 0; st_insert( pLib->tModules, (char *)pNtk->pName, (char *)pNtk ); + assert( pNtk->Id == 0 ); + pNtk->Id = Vec_PtrSize(pLib->vModules); Vec_PtrPush( pLib->vModules, pNtk ); pNtk->pDesign = pLib; return 1; -- cgit v1.2.3