Searched refs:BestGenerality (Results 1 – 1 of 1) sorted by relevance
2553 int BestGenerality = -1; in ChooseConstraint() local2584 if (Generality > BestGenerality) { in ChooseConstraint()2587 BestGenerality = Generality; in ChooseConstraint()