Lines Matching refs:vObjs
85 Vec_Ptr_t vObjs; // objects member
179 return Vec_PtrSize( &p->vObjs ); in If_DsdManObjNum()
199 return If_DsdVecLitSuppSize( &p->vObjs, iDsd ); in If_DsdManSuppSize()
203 return If_DsdVecObjMark( &p->vObjs, Abc_Lit2Var(iDsd) ); in If_DsdManCheckDec()
207 return If_DsdVecObjMark( &p->vObjs, Abc_Lit2Var(iDsd) ); in If_DsdManReadMark()
254 pObj->Id = Vec_PtrSize( &p->vObjs ); in If_DsdObjAlloc()
257 Vec_PtrPush( &p->vObjs, pObj ); in If_DsdObjAlloc()
260 assert( Vec_IntSize(&p->vNexts) == Vec_PtrSize(&p->vObjs) ); in If_DsdObjAlloc()
261 assert( Vec_IntSize(&p->vTruths) == Vec_PtrSize(&p->vObjs) ); in If_DsdObjAlloc()
279 Vec_PtrGrow( &p->vObjs, 10000 ); in If_DsdManAlloc()
313 if ( Vec_PtrSize(&p->vObjs) > 2 ) in If_DsdManAllocIsops()
361 ABC_FREE( p->vObjs.pArray ); in If_DsdManFree()
388 If_DsdVecForEachObj( &p->vObjs, pObj, i ) in If_DsdManDumpDsd()
419 If_DsdVecForEachObj( &p->vObjs, pObj, i ) in If_DsdManDumpAll()
436 If_DsdVecForEachObj( &p->vObjs, pObj, i ) in If_DsdManHasMarks()
462 pObj = If_DsdVecObj( &p->vObjs, *pSpot ); in If_DsdManHashProfile()
474 pObj = If_DsdVecObj( &p->vObjs, Id ); in If_DsdManCheckNonDec_rec()
481 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, i ) in If_DsdManCheckNonDec_rec()
493 pObj = If_DsdVecObj( &p->vObjs, Abc_Lit2Var(iDsdLit) ); in If_DsdManPrint_rec()
505 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, i ) in If_DsdManPrint_rec()
513 fprintf( pFile, "%2d ", If_DsdVecObjSuppSize(&p->vObjs, iObjId) ); in If_DsdManPrintOne()
514 fprintf( pFile, "%8d ", If_DsdVecObjRef(&p->vObjs, iObjId) ); in If_DsdManPrintOne()
515 fprintf( pFile, "%d ", If_DsdVecObjMark(&p->vObjs, iObjId) ); in If_DsdManPrintOne()
519 assert( nSupp == If_DsdVecObjSuppSize(&p->vObjs, iObjId) ); in If_DsdManPrintOne()
598 If_DsdVecForEachNode( &p->vObjs, pObj, i ) in If_DsdManPrintOccurs()
608 If_DsdVecForEachNode( &p->vObjs, pObj, i ) in If_DsdManPrintOccurs()
640 fprintf( pFile, "(%6.2f %%)", 100.0*Counter/Vec_PtrSize(&p->vObjs) ); in If_DsdManPrintOccurs()
644 …tf( pFile, "Fanins: Max = %d. Ave = %.2f.\n", nOccursMax, 1.0*nOccursAll/Vec_PtrSize(&p->vObjs) ); in If_DsdManPrintOccurs()
661 If_DsdVecForEachObj( &p->vObjs, pObj, i ) in If_DsdManPrintDistrib()
669 if ( If_DsdVecObjMark(&p->vObjs, i) ) in If_DsdManPrintDistrib()
732 If_DsdVecForEachObj( &p->vObjs, pObj, i ) in If_DsdManPrint()
738 CountUsed += ( If_DsdVecObjRef(&p->vObjs, pObj->Id) > 0 ); in If_DsdManPrint()
739 CountMarked += If_DsdVecObjMark( &p->vObjs, i ); in If_DsdManPrint()
760 …le, "Memory used for array = %8.2f MB.\n", 1.0*sizeof(void *)*Vec_PtrCap(&p->vObjs)/(1<<20) ); in If_DsdManPrint()
783 If_DsdVecForEachObj( &p->vObjs, pObj, i ) in If_DsdManPrint()
798 pObj = If_DsdVecObj( &p->vObjs, Vec_IntEntry(vStructs, pPerm[i]) ); in If_DsdManPrint()
822 pObj = If_DsdVecObj( &p->vObjs, Id ); in If_DsdManCheckNonTriv()
827 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, i ) in If_DsdManCheckNonTriv()
926 pObj = If_DsdVecObj( &p->vObjs, *pSpot ); in If_DsdObjHashLookup()
947 Vec_IntFill( &p->vNexts, Vec_PtrSize(&p->vObjs), 0 ); in If_DsdObjHashResize()
948 If_DsdVecForEachNode( &p->vObjs, pObj, i ) in If_DsdObjHashResize()
954 assert( p->nUniqueMisses - Prev == Vec_PtrSize(&p->vObjs) - 2 ); in If_DsdObjHashResize()
971 pFanin = If_DsdVecObj( &p->vObjs, Abc_Lit2Var(pLits[i]) ); in If_DsdObjCreate()
974 assert( iPrev == -1 || If_DsdObjCompare(p, &p->vObjs, iPrev, pLits[i]) <= 0 ); in If_DsdObjCreate()
986 pObj->nSupp += If_DsdVecLitSuppSize(&p->vObjs, pLits[i]); in If_DsdObjCreate()
990 If_DsdVecObjSetMark( &p->vObjs, pObj->Id ); in If_DsdObjCreate()
1030 *pSpot = Vec_PtrSize( &p->vObjs ); in If_DsdObjFindOrAdd()
1032 if ( Vec_PtrSize(&p->vObjs) > p->nBins ) in If_DsdObjFindOrAdd()
1066 Num = Vec_PtrSize(&p->vObjs); in If_DsdManSave()
1068 Vec_PtrForEachEntryStart( If_DsdObj_t *, &p->vObjs, pObj, i, 2 ) in If_DsdManSave()
1136 Vec_PtrFillExtra( &p->vObjs, Num, NULL ); in If_DsdManLoad()
1142 for ( i = 2; i < Vec_PtrSize(&p->vObjs); i++ ) in If_DsdManLoad()
1147 Vec_PtrWriteEntry( &p->vObjs, i, pObj ); in If_DsdManLoad()
1157 assert( p->nUniqueMisses == Vec_PtrSize(&p->vObjs) - 2 ); in If_DsdManLoad()
1222 vMap = Vec_IntAlloc( Vec_PtrSize(&pNew->vObjs) ); in If_DsdManMerge()
1226 …dFillExtra( p->vConfigs, p->nConfigWords * (Vec_PtrSize(&p->vObjs) + Vec_PtrSize(&pNew->vObjs)), 0… in If_DsdManMerge()
1227 If_DsdVecForEachNode( &pNew->vObjs, pObj, i ) in If_DsdManMerge()
1229 If_DsdObjForEachFaninLit( &pNew->vObjs, pObj, iFanin, k ) in If_DsdManMerge()
1233 If_DsdVecObjSetMark( &p->vObjs, Id ); in If_DsdManMerge()
1243 assert( Vec_IntSize(vMap) == Vec_PtrSize(&pNew->vObjs) ); in If_DsdManMerge()
1246 Vec_WrdShrink( p->vConfigs, p->nConfigWords * Vec_PtrSize(&p->vObjs) ); in If_DsdManMerge()
1252 If_DsdVecForEachObj( &p->vObjs, pObj, i ) in If_DsdManCleanOccur()
1261 If_DsdVecForEachObj( &p->vObjs, pObj, i ) in If_DsdManCleanMarks()
1270 If_DsdVecForEachObj( &p->vObjs, pObj, i ) in If_DsdManInvertMarks()
1281 pObj = If_DsdVecObj( &p->vObjs, i ); in If_DsdManFilter_rec()
1282 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, k ) in If_DsdManFilter_rec()
1285 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, k ) in If_DsdManFilter_rec()
1289 If_DsdVecObjSetMark( &pNew->vObjs, Id ); in If_DsdManFilter_rec()
1290 If_DsdVecObj( &pNew->vObjs, Id )->Count = pObj->Count; in If_DsdManFilter_rec()
1300 vMap = Vec_IntStartFull( Vec_PtrSize(&p->vObjs) ); in If_DsdManFilter()
1303 If_DsdVecForEachNode( &p->vObjs, pObj, i ) in If_DsdManFilter()
1324 If_DsdObj_t * pObj = If_DsdVecObj( &p->vObjs, Id ); in If_DsdManCollect_rec()
1333 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, i ) in If_DsdManCollect_rec()
1360 If_DsdObj_t * pObj = If_DsdVecObj( &p->vObjs, Abc_Lit2Var(iDsd) ); in If_DsdManComputeTruth_rec()
1376 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, i ) in If_DsdManComputeTruth_rec()
1390 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, i ) in If_DsdManComputeTruth_rec()
1400 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, i ) in If_DsdManComputeTruth_rec()
1412 If_DsdObj_t * pObj = If_DsdVecObj( &p->vObjs, Abc_Lit2Var(iDsd) ); in If_DsdManComputeTruthPtr()
1425 assert( nSupp == If_DsdVecLitSuppSize(&p->vObjs, iDsd) ); in If_DsdManComputeTruthPtr()
1449 pObj = If_DsdVecObj( &p->vObjs, Abc_Lit2Var(iLit) ); in If_DsdManCheckInv_rec()
1456 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, i ) in If_DsdManCheckInv_rec()
1470 pObj = If_DsdVecObj( &p->vObjs, Abc_Lit2Var(iLit) ); in If_DsdManPushInv_rec()
1475 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, i ) in If_DsdManPushInv_rec()
1482 pPerm += If_DsdVecLitSuppSize(&p->vObjs, iFanin); in If_DsdManPushInv_rec()
1488 pPerm += If_DsdVecLitSuppSize(&p->vObjs, pObj->pFans[0]); in If_DsdManPushInv_rec()
1490 pPerm += If_DsdVecLitSuppSize(&p->vObjs, pObj->pFans[1]); in If_DsdManPushInv_rec()
1520 nSSize += If_DsdVecLitSuppSize(&p->vObjs, pLits[i]); in If_DsdManComputeFirstArray()
1543 pObj = If_DsdVecObj( &p->vObjs, Abc_Lit2Var(pLits[k]) ); in If_DsdManOperation()
1546 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, i ) in If_DsdManOperation()
1550 … pBegEnd[nChildren++] = (nSSize << 16) | (nSSize + If_DsdVecLitSuppSize(&p->vObjs, iFanin)); in If_DsdManOperation()
1551 nSSize += If_DsdVecLitSuppSize(&p->vObjs, iFanin); in If_DsdManOperation()
1562 If_DsdObjSort( p, &p->vObjs, pChildren, nChildren, pBegEnd ); in If_DsdManOperation()
1577 pFanin = If_DsdVecObj( &p->vObjs, Abc_Lit2Var(pLits[k]) ); in If_DsdManOperation()
1581 RetValue = If_DsdObjCompare( p, &p->vObjs, pLits[1], pLits[2] ); in If_DsdManOperation()
1584 int nSupp0 = If_DsdVecLitSuppSize( &p->vObjs, pLits[0] ); in If_DsdManOperation()
1585 int nSupp1 = If_DsdVecLitSuppSize( &p->vObjs, pLits[1] ); in If_DsdManOperation()
1586 int nSupp2 = If_DsdVecLitSuppSize( &p->vObjs, pLits[2] ); in If_DsdManOperation()
1607 pFanin = If_DsdVecObj( &p->vObjs, Abc_Lit2Var(pLits[k]) ); in If_DsdManOperation()
1622 pFanin = If_DsdVecObj( &p->vObjs, Abc_Lit2Var(iLitNew) ); in If_DsdManOperation()
1759 If_DsdObjForEachFanin( &p->vObjs, pObj, pFanin, i ) in If_DsdSign_rec()
1765 If_DsdObj_t * pFanin = If_DsdObjFanin( &p->vObjs, pObj, iFan ); in If_DsdSign()
1773 If_DsdObjForEachFanin( &p->vObjs, pObj, pFanin, i ) in If_DsdManGetSuppSizes()
1947 pObj = If_DsdVecObj( &p->vObjs, Abc_Lit2Var(iDsd) ); in If_DsdManCheckXY_int()
1957 If_DsdVecForEachObjVec( p->vTemp1, &p->vObjs, pTemp, i ) in If_DsdManCheckXY_int()
1970 If_DsdVecForEachObjVec( p->vTemp1, &p->vObjs, pTemp, i ) in If_DsdManCheckXY_int()
1984 If_DsdVecForEachObjVec( p->vTemp1, &p->vObjs, pTemp, i ) in If_DsdManCheckXY_int()
1998 If_DsdVecForEachObjVec( p->vTemp1, &p->vObjs, pTemp, i ) in If_DsdManCheckXY_int()
2023 int nVars = If_DsdVecLitSuppSize( &p->vObjs, iDsd ); in If_DsdManCheckXY()
2097 If_DsdVecObjIncRef( &p->vObjs, Abc_Lit2Var(iDsd) ); in If_DsdManCompute()
2098 assert( If_DsdVecLitSuppSize(&p->vObjs, iDsd) == nLeaves ); in If_DsdManCompute()
2137 If_DsdObj_t * pObj = If_DsdVecObj( &p->vObjs, Id ); in If_CutDsdBalancePinDelays_rec()
2148 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, i ) in If_CutDsdBalancePinDelays_rec()
2161 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, i ) in If_CutDsdBalancePinDelays_rec()
2171 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, i ) in If_CutDsdBalancePinDelays_rec()
2241 If_DsdObj_t * pObj = If_DsdVecObj( &p->vObjs, Id ); in If_CutDsdBalanceEval_rec()
2253 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, i ) in If_CutDsdBalanceEval_rec()
2273 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, i ) in If_CutDsdBalanceEval_rec()
2289 If_DsdObjForEachFaninLit( &p->vObjs, pObj, iFanin, i ) in If_CutDsdBalanceEval_rec()
2311 int nSuppAll = If_DsdVecLitSuppSize( &p->vObjs, iDsd ); in If_CutDsdBalanceEvalInt()
2420 If_DsdVecForEachObj( &p->vObjs, pObj, i ) in If_DsdManTune()
2426 pProgress = Extra_ProgressBarStart( stdout, Vec_PtrSize(&p->vObjs) ); in If_DsdManTune()
2427 If_DsdVecForEachObj( &p->vObjs, pObj, i ) in If_DsdManTune()
2447 If_DsdVecObjSetMark( &p->vObjs, i ); in If_DsdManTune()
2502 …Starting the tuning process from object %d (out of %d).\n", p->nObjsPrev, Vec_PtrSize(&p->vObjs) ); in Id_DsdManTuneStr1()
2504 If_DsdVecForEachObj( &p->vObjs, pObj, i ) in Id_DsdManTuneStr1()
2508 p->vConfigs = Vec_WrdStart( p->nConfigWords * Vec_PtrSize(&p->vObjs) ); in Id_DsdManTuneStr1()
2510 Vec_WrdFillExtra( p->vConfigs, p->nConfigWords * Vec_PtrSize(&p->vObjs), 0 ); in Id_DsdManTuneStr1()
2511 pProgress = Extra_ProgressBarStart( stdout, Vec_PtrSize(&p->vObjs) ); in Id_DsdManTuneStr1()
2512 If_DsdVecForEachObjStart( &p->vObjs, pObj, i, p->nObjsPrev ) in Id_DsdManTuneStr1()
2530 If_DsdVecObjSetMark( &p->vObjs, i ); in Id_DsdManTuneStr1()
2537 printf( "Finished matching %d functions. ", Vec_PtrSize(&p->vObjs) ); in Id_DsdManTuneStr1()
2648 …Starting the tuning process from object %d (out of %d).\n", p->nObjsPrev, Vec_PtrSize(&p->vObjs) ); in Id_DsdManTuneStr()
2650 If_DsdVecForEachObj( &p->vObjs, pObj, i ) in Id_DsdManTuneStr()
2654 p->vConfigs = Vec_WrdStart( p->nConfigWords * Vec_PtrSize(&p->vObjs) ); in Id_DsdManTuneStr()
2656 Vec_WrdFillExtra( p->vConfigs, p->nConfigWords * Vec_PtrSize(&p->vObjs), 0 ); in Id_DsdManTuneStr()
2657 pProgress = Extra_ProgressBarStart( stdout, Vec_PtrSize(&p->vObjs) ); in Id_DsdManTuneStr()
2679 while ( fRunning || iCurrentObj < Vec_PtrSize(&p->vObjs) ) in Id_DsdManTuneStr()
2691 If_DsdVecObjSetMark( &p->vObjs, ThData[i].Id ); in Id_DsdManTuneStr()
2700 for ( k = iCurrentObj; k < Vec_PtrSize(&p->vObjs); k++ ) in Id_DsdManTuneStr()
2704 pObj = If_DsdVecObj( &p->vObjs, k ); in Id_DsdManTuneStr()
2749 printf( "Finished matching %d functions. ", Vec_PtrSize(&p->vObjs) ); in Id_DsdManTuneStr()
2783 …Starting the tuning process from object %d (out of %d).\n", p->nObjsPrev, Vec_PtrSize(&p->vObjs) ); in Id_DsdManTuneThresh()
2785 If_DsdVecForEachObj( &p->vObjs, pObj, i ) in Id_DsdManTuneThresh()
2789 p->vConfigs = Vec_WrdStart( Vec_PtrSize(&p->vObjs) ); in Id_DsdManTuneThresh()
2791 Vec_WrdFillExtra( p->vConfigs, Vec_PtrSize(&p->vObjs), 0 ); in Id_DsdManTuneThresh()
2792 pProgress = Extra_ProgressBarStart( stdout, Vec_PtrSize(&p->vObjs) ); in Id_DsdManTuneThresh()
2793 If_DsdVecForEachObjStart( &p->vObjs, pObj, i, p->nObjsPrev ) in Id_DsdManTuneThresh()
2817 If_DsdVecObjSetMark( &p->vObjs, i ); in Id_DsdManTuneThresh()
2824 printf( "Finished matching %d functions. ", Vec_PtrSize(&p->vObjs) ); in Id_DsdManTuneThresh()