Searched refs:Generality (Results 1 – 3 of 3) sorted by relevance
3129 int Generality = getConstraintGenerality(CType); in ChooseConstraint() local3130 if (Generality > BestGenerality) { in ChooseConstraint()3133 BestGenerality = Generality; in ChooseConstraint()
2738 int Generality = getConstraintGenerality(CType); in ChooseConstraint() local2739 if (Generality > BestGenerality) { in ChooseConstraint()2742 BestGenerality = Generality; in ChooseConstraint()
3373 int Generality = getConstraintGenerality(CType); in ChooseConstraint() local3374 if (Generality > BestGenerality) { in ChooseConstraint()3377 BestGenerality = Generality; in ChooseConstraint()