Searched refs:countMaxPopulation (Results 1 – 4 of 4) sorted by relevance
191 unsigned countMaxPopulation() const { in countMaxPopulation() function
1377 unsigned MaxCount = Known.countMaxPopulation(); in foldCtpop()
2665 unsigned PossibleOnes = Known2.countMaxPopulation(); in computeKnownBits()3136 return (Known.countMaxPopulation() == 1) && (Known.countMinPopulation() == 1); in isKnownToBeAPowerOfTwo()
1491 unsigned BitsPossiblySet = Known2.countMaxPopulation(); in computeKnownBitsFromOperator()