Searched refs:CountMarked (Results 1 – 2 of 2) sorted by relevance
655 int CountMarked[IF_MAX_FUNC_LUTSIZE+2] = {0}; in If_DsdManPrintDistrib() local670 CountMarked[If_DsdObjSuppSize(pObj)]++, CountMarked[p->nVars+1]++; in If_DsdManPrintDistrib()696 printf( "%9d ", CountMarked[i] ); in If_DsdManPrintDistrib()697 printf( "%6.2f %%", 100.0 * CountMarked[i] / Abc_MaxInt(1, CountStr[i]) ); in If_DsdManPrintDistrib()705 int CountUsed = 0, CountNonDsd = 0, CountNonDsdStr = 0, CountMarked = 0, CountPrime = 0; in If_DsdManPrint() local739 CountMarked += If_DsdVecObjMark( &p->vObjs, i ); in If_DsdManPrint()
1279 int CountMarked = 0; in Gia_ManDupMarked() local1281 CountMarked += pObj->fMark0; in Gia_ManDupMarked()1283 pNew = Gia_ManStart( Gia_ManObjNum(p) - CountMarked ); in Gia_ManDupMarked()