Searched refs:countMinPopulation (Results 1 – 3 of 3) sorted by relevance
186 unsigned countMinPopulation() const { in countMinPopulation() function
1376 unsigned MinCount = Known.countMinPopulation(); in foldCtpop()
3136 return (Known.countMaxPopulation() == 1) && (Known.countMinPopulation() == 1); in isKnownToBeAPowerOfTwo()