/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
H A D | abcNames.c | 682 assert( p->vNameIds == NULL ); in Abc_NtkStartNameIds() 686 p->vNameIds = Vec_IntStart( Abc_NtkObjNumMax(p) ); in Abc_NtkStartNameIds() 700 if ( !Vec_IntEntry(p->vNameIds, Abc_ObjId(pObj)) ) in Abc_NtkStartNameIds() 708 … Vec_IntWriteEntry( p->vNameIds, Abc_ObjId(pObj), Vec_IntEntry(p->vNameIds, Abc_ObjId(pFanin)) ); in Abc_NtkStartNameIds() 728 assert( p->vNameIds != NULL ); in Abc_NtkTransferNameIds() 729 assert( pNew->vNameIds == NULL ); in Abc_NtkTransferNameIds() 735 if ( pObj->pCopy && i < Vec_IntSize(p->vNameIds) && Vec_IntEntry(p->vNameIds, i) ) in Abc_NtkTransferNameIds() 741 …Vec_IntWriteEntry( pNew->vNameIds, Abc_ObjId(pObjNew), Vec_IntEntry(p->vNameIds, i) ^ Abc_ObjIsCom… in Abc_NtkTransferNameIds() 765 assert( p->vNameIds != NULL ); in Abc_NtkUpdateNameIds() 780 if ( i == 0 || i >= Vec_IntSize(p->vNameIds) || !Vec_IntEntry(p->vNameIds, i) ) in Abc_NtkUpdateNameIds() [all …]
|
H A D | abcCheck.c | 244 Vec_Int_t * vNameIds; in Abc_NtkCheckNames() local 274 vNameIds = Nm_ManReturnNameIds( pNtk->pManName ); in Abc_NtkCheckNames() 276 Vec_IntForEachEntry( vNameIds, NameId, i ) in Abc_NtkCheckNames() 280 Vec_IntFree( vNameIds ); in Abc_NtkCheckNames() 286 Vec_IntFree( vNameIds ); in Abc_NtkCheckNames()
|
H A D | abcNtk.c | 1391 Vec_IntFreeP( &pNtk->vNameIds ); in Abc_NtkDelete()
|
H A D | abc.h | 215 Vec_Int_t * vNameIds; // name IDs member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/nm/ |
H A D | nmApi.c | 263 Vec_Int_t * vNameIds; in Nm_ManReturnNameIds() local 265 vNameIds = Vec_IntAlloc( p->nEntries ); in Nm_ManReturnNameIds() 268 Vec_IntPush( vNameIds, p->pBinsI2N[i]->ObjId ); in Nm_ManReturnNameIds() 269 return vNameIds; in Nm_ManReturnNameIds()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/ |
H A D | wlnNtk.c | 86 ABC_FREE( p->vNameIds.pArray ); in Wln_NtkFree() 109 Mem += 4 * p->vNameIds.nCap; in Wln_NtkMemUsage() 155 if ( Wln_ObjCopy(p, i) && i < Vec_IntSize(&p->vNameIds) && Wln_ObjNameId(p, i) ) in Wln_NtkTransferNames() 157 Vec_IntErase( &p->vNameIds ); in Wln_NtkTransferNames()
|
H A D | wln.h | 68 Vec_Int_t vNameIds; // object name IDs member 140 …ln_NtkCleanNameId( Wln_Ntk_t * p ) { Vec_IntFill( &p->vNameIds, Vec_IntCap(&p->v… in Wln_NtkCleanNameId() 141 …asNameId( Wln_Ntk_t * p ) { return Vec_IntSize( &p->vNameIds ) > 0; … in Wln_NtkHasNameId() 142 …SetNameId( Wln_Ntk_t * p, int i, int n ) { Vec_IntWriteEntry( &p->vNameIds, i, n ); … in Wln_ObjSetNameId() 143 …meId( Wln_Ntk_t * p, int i ) { return Vec_IntEntry( &p->vNameIds, i ); … in Wln_ObjNameId()
|
H A D | wlnNdr.c | 248 vName2Obj = Vec_IntInvert( &pNtk->vNameIds, 0 ); in Wln_NtkFromNdr() 254 NameIdMax = Vec_IntFindMax(&pNtk->vNameIds); in Wln_NtkFromNdr()
|
H A D | wlnRetime.c | 519 int NameId = Vec_IntEntry( &p->pNtk->vNameIds, iObj ); in Wln_RetAddToMoves()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
H A D | wlc.h | 166 Vec_Int_t vNameIds; // object name IDs member 337 …NtkCleanNameId( Wlc_Ntk_t * p ) { Vec_IntFill( &p->vNameIds, p->nObjsAlloc, 0… in Wlc_NtkCleanNameId() 338 …ameId( Wlc_Ntk_t * p ) { return Vec_IntSize( &p->vNameIds ) > 0; … in Wlc_NtkHasNameId() 339 …NameId( Wlc_Ntk_t * p, int iObj, int i ) { Vec_IntWriteEntry( &p->vNameIds, iObj, i ); … in Wlc_ObjSetNameId() 340 …d( Wlc_Ntk_t * p, int iObj ) { return Vec_IntEntry( &p->vNameIds, iObj ); … in Wlc_ObjNameId()
|
H A D | wlcNdr.c | 455 vName2Obj = Vec_IntInvert( &pNtk->vNameIds, 0 ); in Wlc_NtkFromNdr() 485 NameIdMax = Vec_IntFindMax(&pNtk->vNameIds); in Wlc_NtkFromNdr()
|
H A D | wlcNtk.c | 272 ABC_FREE( p->vNameIds.pArray ); in Wlc_NtkFree() 653 if ( nCountRange && Vec_IntSize(&p->vNameIds) > 0 ) in Wlc_NtkPrintDistrib() 837 if ( Wlc_ObjCopy(p, i) > 0 && i < Vec_IntSize(&p->vNameIds) && Wlc_ObjNameId(p, i) ) in Wlc_NtkTransferNames() 841 Vec_IntErase( &p->vNameIds ); in Wlc_NtkTransferNames()
|
H A D | wlcReadSmt.c | 997 Vec_IntAppend( &pNtk->vNameIds, vFans ); in Smt_PrsBuild() 1493 Vec_IntAppend( &pNtk->vNameIds, vFans ); in Smt_PrsBuild2()
|
H A D | wlcReadVer.c | 1044 Vec_IntAppend( &p->pNtk->vNameIds, vTemp ); in Wlc_PrsDerive()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcStrash.c | 236 if ( pNtk->vNameIds ) in Abc_NtkRestrashZero() 238 if ( pNtk->vNameIds ) in Abc_NtkRestrashZero() 285 if ( pNtk->vNameIds ) in Abc_NtkStrash()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cba/ |
H A D | cbaNtk.c | 428 void Cba_NtkObjOrder( Cba_Ntk_t * p, Vec_Int_t * vObjs, Vec_Int_t * vNameIds ) in Cba_NtkObjOrder() argument 439 … char * pInstName = vNameIds ? Cba_NtkStr(p, Vec_IntEntry(vNameIds, i)) : Cba_ObjNameStr(p, iObj); in Cba_NtkObjOrder()
|
H A D | cba.h | 989 extern void Cba_NtkObjOrder( Cba_Ntk_t * p, Vec_Int_t * vObjs, Vec_Int_t * vNameIds );
|