Lines Matching refs:vObjIds
347 static void Gia_ManExtract_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vObjIds ) in Gia_ManExtract_rec() argument
354 Gia_ManExtract_rec( p, Gia_ObjFanin0(pObj), vObjIds ); in Gia_ManExtract_rec()
355 Gia_ManExtract_rec( p, Gia_ObjFanin1(pObj), vObjIds ); in Gia_ManExtract_rec()
356 Vec_IntPush( vObjIds, Gia_ObjId(p, pObj) ); in Gia_ManExtract_rec()
360 Vec_Int_t * vObjIds, * vValues; in Gia_SweeperExtractUserLogic() local
368 vObjIds = Vec_IntAlloc( 1000 ); in Gia_SweeperExtractUserLogic()
372 Gia_ManExtract_rec( p, Gia_Regular(pObj), vObjIds ); in Gia_SweeperExtractUserLogic()
375 … pNew = Gia_ManStart( 1 + Gia_ManPiNum(p) + Vec_IntSize(vObjIds) + Vec_IntSize(vProbeIds) + 100 ); in Gia_SweeperExtractUserLogic()
383 vValues = Vec_IntAlloc( Vec_IntSize(vObjIds) ); in Gia_SweeperExtractUserLogic()
384 Gia_ManForEachObjVec( vObjIds, p, pObj, i ) in Gia_SweeperExtractUserLogic()
399 Gia_ManForEachObjVec( vObjIds, p, pObj, i ) in Gia_SweeperExtractUserLogic()
401 Vec_IntFree( vObjIds ); in Gia_SweeperExtractUserLogic()
464 Vec_Int_t * vObjIds; in Gia_SweeperCleanup() local
471 vObjIds = Vec_IntAlloc( 1000 ); in Gia_SweeperCleanup()
476 Gia_ManExtract_rec( p, Gia_Regular(pObj), vObjIds ); in Gia_SweeperCleanup()
479 pNew = Gia_ManStart( 1 + Gia_ManPiNum(p) + Vec_IntSize(vObjIds) + 100 ); in Gia_SweeperCleanup()
487 Gia_ManForEachObjVec( vObjIds, p, pObj, i ) in Gia_SweeperCleanup()
498 Vec_IntFree( vObjIds ); in Gia_SweeperCleanup()