Searched refs:BestGenerality (Results 1 – 1 of 1) sorted by relevance
2432 int BestGenerality = -1; in ChooseConstraint() local2463 if (Generality > BestGenerality) { in ChooseConstraint()2466 BestGenerality = Generality; in ChooseConstraint()