Lines Matching refs:countMaxPopulation
53211 if (KnownLHS.countMaxPopulation() == 1 &&53212 (KnownRHS.isZero() || (KnownRHS.countMaxPopulation() == 1 &&