diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-11 16:42:38 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-11 16:42:38 -0800 |
| commit | ee72b500d58f6196b899ffaf11f5f65ecdf3ba3e (patch) | |
| tree | 222946b2e9e90fb24d333532307a628c1ee0ecb5 /src/base/cba/cbaNtk.c | |
| parent | 26b8116ac649f977333a1771dfaac0ae3b18a97b (diff) | |
| download | abc-ee72b500d58f6196b899ffaf11f5f65ecdf3ba3e.tar.gz abc-ee72b500d58f6196b899ffaf11f5f65ecdf3ba3e.tar.bz2 abc-ee72b500d58f6196b899ffaf11f5f65ecdf3ba3e.zip | |
Various transformations of Cba_Ntk_t.
Diffstat (limited to 'src/base/cba/cbaNtk.c')
| -rw-r--r-- | src/base/cba/cbaNtk.c | 22 |
1 files changed, 21 insertions, 1 deletions
diff --git a/src/base/cba/cbaNtk.c b/src/base/cba/cbaNtk.c index 253c0cda..c0c63bec 100644 --- a/src/base/cba/cbaNtk.c +++ b/src/base/cba/cbaNtk.c @@ -41,7 +41,27 @@ ABC_NAMESPACE_IMPL_START SeeAlso [] ***********************************************************************/ - +void Cba_ManAssignInternNamesNtk( Cba_Ntk_t * p ) +{ + int i, Type, NameId; + int nDigits = Abc_Base10Log( Cba_NtkObjNum(p) ); + Cba_NtkForEachObjType( p, Type, i ) + { + if ( Type == CBA_OBJ_NODE || Type == CBA_OBJ_PIN ) + { + char Buffer[100]; + sprintf( Buffer, "%s%0*d", "_n_", nDigits, i ); + NameId = Abc_NamStrFindOrAdd( p->pDesign->pNames, Buffer, NULL ); + Vec_IntWriteEntry( &p->vNameIds, i, NameId ); + } + } +} +void Cba_ManAssignInternNames( Cba_Man_t * p ) +{ + Cba_Ntk_t * pNtk; int i; + Cba_ManForEachNtk( p, pNtk, i ) + Cba_ManAssignInternNamesNtk( pNtk ); +} //////////////////////////////////////////////////////////////////////// /// END OF FILE /// |