Searched refs:countMinPopulation (Results 1 – 6 of 6) sorted by relevance
293 unsigned countMinPopulation() const { in countMinPopulation() function
892 return (Known.countMaxPopulation() == 1) && (Known.countMinPopulation() == 1); in isKnownToBeAPowerOfTwo()
692 unsigned MinCount = Known.countMinPopulation(); in foldCtpop()
1294 if (XKnown.countMaxPopulation() == 1 && YKnown.countMinPopulation() >= 2) in foldICmpWithZero()
3981 return (Known.countMaxPopulation() == 1) && (Known.countMinPopulation() == 1); in isKnownToBeAPowerOfTwo()
4621 if (XKnown.countMaxPopulation() == 1 && YKnown.countMinPopulation() >= 2) in SimplifySetCC()