Searched refs:BestGenerality (Results 1 – 4 of 4) sorted by relevance
163 int BestGenerality = -1; in chooseConstraint() local194 if (Generality > BestGenerality) { in chooseConstraint()197 BestGenerality = Generality; in chooseConstraint()
2708 int BestGenerality = -1; in ChooseConstraint() local2739 if (Generality > BestGenerality) { in ChooseConstraint()2742 BestGenerality = Generality; in ChooseConstraint()
4840 int BestGenerality = -1; in ChooseConstraint() local4878 if (Generality > BestGenerality) { in ChooseConstraint()4881 BestGenerality = Generality; in ChooseConstraint()
4546 int BestGenerality = -1; in ChooseConstraint() local4584 if (Generality > BestGenerality) { in ChooseConstraint()4587 BestGenerality = Generality; in ChooseConstraint()