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