Searched refs:Generality (Results 1 – 4 of 4) sorted by relevance
193 int Generality = getConstraintGenerality(CType); in chooseConstraint() local194 if (Generality > BestGenerality) { in chooseConstraint()197 BestGenerality = Generality; in chooseConstraint()
2738 int Generality = getConstraintGenerality(CType); in ChooseConstraint() local2739 if (Generality > BestGenerality) { in ChooseConstraint()2742 BestGenerality = Generality; in ChooseConstraint()
4877 int Generality = getConstraintGenerality(CType); in ChooseConstraint() local4878 if (Generality > BestGenerality) { in ChooseConstraint()4881 BestGenerality = Generality; in ChooseConstraint()
4583 int Generality = getConstraintGenerality(CType); in ChooseConstraint() local4584 if (Generality > BestGenerality) { in ChooseConstraint()4587 BestGenerality = Generality; in ChooseConstraint()