Searched defs:Generality (Results 1 – 2 of 2) sorted by relevance
189 int Generality = getConstraintGenerality(CType); in chooseConstraint() local
5712 int Generality = getConstraintGenerality(CType); in ChooseConstraint() local