Searched refs:BestGenerality (Results 1 – 2 of 2) 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()