Searched refs:Generality (Results 1 – 2 of 2) sorted by relevance
193 int Generality = getConstraintGenerality(CType); in chooseConstraint() local194 if (Generality > BestGenerality) { in chooseConstraint()197 BestGenerality = Generality; in chooseConstraint()
4961 int Generality = getConstraintGenerality(CType); in ChooseConstraint() local4962 if (Generality > BestGenerality) { in ChooseConstraint()4965 BestGenerality = Generality; in ChooseConstraint()