diff options
Diffstat (limited to 'src/base/cba/cbaPrs.h')
| -rw-r--r-- | src/base/cba/cbaPrs.h | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/src/base/cba/cbaPrs.h b/src/base/cba/cbaPrs.h index 3715935e..12a2c065 100644 --- a/src/base/cba/cbaPrs.h +++ b/src/base/cba/cbaPrs.h @@ -168,7 +168,7 @@ static inline Cba_Prs_t * Cba_PrsAlloc( char * pFileName ) p->pBuffer = pBuffer; p->pLimit = pLimit; p->pCur = pBuffer; - p->pDesign = Cba_ManAlloc( pFileName ); + p->pDesign = Cba_ManAlloc( NULL, pFileName ); return p; } static inline void Cba_PrsFree( Cba_Prs_t * p ) @@ -195,6 +195,20 @@ static inline void Cba_PrsFree( Cba_Prs_t * p ) ABC_FREE( p->pBuffer ); ABC_FREE( p ); } +static inline void Cba_PrsRemapBoxModels( Cba_Man_t * p ) +{ + Cba_Ntk_t * pNtk; + int i, Type, iObj; + Cba_ManForEachNtk( p, pNtk, i ) + Cba_NtkForEachObjType( pNtk, Type, iObj ) + if ( Type == CBA_OBJ_BOX ) + { + char * pName = Abc_NamStr( p->pNames, Cba_ObjFuncId(pNtk, iObj) ); + int iModelId = Abc_NamStrFind( p->pModels, pName ); + assert( iModelId > 0 ); + Vec_IntWriteEntry( &pNtk->vFuncs, iObj, iModelId ); + } +} //////////////////////////////////////////////////////////////////////// /// ITERATORS /// |