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