Searched defs:CountMarked (Results 1 – 2 of 2) sorted by relevance
655 int CountMarked[IF_MAX_FUNC_LUTSIZE+2] = {0}; in If_DsdManPrintDistrib() local705 int CountUsed = 0, CountNonDsd = 0, CountNonDsdStr = 0, CountMarked = 0, CountPrime = 0; in If_DsdManPrint() local
1279 int CountMarked = 0; in Gia_ManDupMarked() local