Searched refs:BestGenerality (Results 1 – 1 of 1) sorted by relevance
3613 int BestGenerality = -1; in ChooseConstraint() local3644 if (Generality > BestGenerality) { in ChooseConstraint()3647 BestGenerality = Generality; in ChooseConstraint()