Searched refs:Generality (Results 1 – 1 of 1) sorted by relevance
3643 int Generality = getConstraintGenerality(CType); in ChooseConstraint() local3644 if (Generality > BestGenerality) { in ChooseConstraint()3647 BestGenerality = Generality; in ChooseConstraint()