Searched refs:BestGenerality (Results 1 – 2 of 2) sorted by relevance
159 int BestGenerality = -1; in chooseConstraint() local190 if (Generality > BestGenerality) { in chooseConstraint()193 BestGenerality = Generality; in chooseConstraint()
5675 int BestGenerality = -1; in ChooseConstraint() local5713 if (Generality > BestGenerality) { in ChooseConstraint()5716 BestGenerality = Generality; in ChooseConstraint()