Searched refs:BestGenerality (Results 1 – 2 of 2) sorted by relevance
163 int BestGenerality = -1; in chooseConstraint() local194 if (Generality > BestGenerality) { in chooseConstraint()197 BestGenerality = Generality; in chooseConstraint()
4950 int BestGenerality = -1; in ChooseConstraint() local4988 if (Generality > BestGenerality) { in ChooseConstraint()4991 BestGenerality = Generality; in ChooseConstraint()