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