Searched refs:NumBlocksExplored (Results 1 – 1 of 1) sorted by relevance
653 unsigned NumBlocksExplored = 0; in computeKnownBitsFromDominatingCondition() local657 if (NumBlocksExplored >= DomConditionsMaxDomBlocks) in computeKnownBitsFromDominatingCondition()659 NumBlocksExplored++; in computeKnownBitsFromDominatingCondition()