270     p->vObjs = Vec_IntAlloc( 100 );  in Rnm_ManStart()
292 …Other = sizeof(Rnm_Man_t) + sizeof(Rnm_Obj_t) * p->nObjsAlloc + sizeof(int) * Vec_IntCap(p->vObjs);  in Rnm_ManStop()
313     Vec_IntFree( p->vObjs );  in Rnm_ManStop()
319 …ouble)(sizeof(Rnm_Man_t) + sizeof(Rnm_Obj_t) * p->nObjsAlloc + sizeof(int) * Vec_IntCap(p->vObjs));  in Rnm_ManMemoryUsage()
334 void Rnm_ManCollect_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vObjs, int nAddOn )  in Rnm_ManCollect_rec()  argument
340         Rnm_ManCollect_rec( p, Gia_ObjFanin0(pObj), vObjs, nAddOn );  in Rnm_ManCollect_rec()
343         Rnm_ManCollect_rec( p, Gia_ObjFanin0(pObj), vObjs, nAddOn );  in Rnm_ManCollect_rec()
344         Rnm_ManCollect_rec( p, Gia_ObjFanin1(pObj), vObjs, nAddOn );  in Rnm_ManCollect_rec()
348     pObj->Value = Vec_IntSize(vObjs) + nAddOn;  in Rnm_ManCollect_rec()
349     Vec_IntPush( vObjs, Gia_ObjId(p, pObj) );  in Rnm_ManCollect_rec()
366     Vec_IntClear( p->vObjs );  in Rnm_ManCollect()
367     Rnm_ManCollect_rec( p->pGia, Gia_ManPo(p->pGia, 0), p->vObjs, 1 + Vec_IntSize(p->vMap) );  in Rnm_ManCollect()
368     Gia_ManForEachObjVec( p->vObjs, p->pGia, pObj, i )  in Rnm_ManCollect()
370 …   Rnm_ManCollect_rec( p->pGia, Gia_ObjRoToRi(p->pGia, pObj), p->vObjs, 1 + Vec_IntSize(p->vMap) );  in Rnm_ManCollect()
373     assert( (int)pObj->Value == Vec_IntSize(p->vMap) + Vec_IntSize(p->vObjs) );  in Rnm_ManCollect()
381     Gia_ManForEachObjVec( p->vObjs, p->pGia, pObj, i )  in Rnm_ManCleanValues()
416         Gia_ManForEachObjVec( p->vObjs, p->pGia, pObj, i )  in Rnm_ManSensitize()
619 void Rnm_ManVerifyUsingTerSim( Gia_Man_t * p, Abc_Cex_t * pCex, Vec_Int_t * vMap, Vec_Int_t * vObjs…  in Rnm_ManVerifyUsingTerSim()  argument
643         Gia_ManForEachObjVec( vObjs, p, pObj, i )  in Rnm_ManVerifyUsingTerSim()
689     p->nObjsFrame = 1 + Vec_IntSize(vMap) + Vec_IntSize(p->vObjs);  in Rnm_ManRefine()
714         Rnm_ManVerifyUsingTerSim( p->pGia, p->pCex, p->vMap, p->vObjs, vGoodPPis );  in Rnm_ManRefine()