Searched refs:BestGenerality (Results 1 – 3 of 3) sorted by relevance
3099 int BestGenerality = -1; in ChooseConstraint() local3130 if (Generality > BestGenerality) { in ChooseConstraint()3133 BestGenerality = Generality; in ChooseConstraint()
2708 int BestGenerality = -1; in ChooseConstraint() local2739 if (Generality > BestGenerality) { in ChooseConstraint()2742 BestGenerality = Generality; in ChooseConstraint()
3343 int BestGenerality = -1; in ChooseConstraint() local3374 if (Generality > BestGenerality) { in ChooseConstraint()3377 BestGenerality = Generality; in ChooseConstraint()