Lines Matching defs:DisequalClasses
2233 ClassSet DisequalClasses = DisequalityEntry.second;
2763 if (const ClassSet *DisequalClasses = Map.lookup(*this))
2764 return *DisequalClasses;
2786 ClassSet DisequalClasses = DisequalityInfo.second;
2789 if (DisequalClasses.isEmpty())
2794 for (EquivalenceClass DisequalClass : DisequalClasses) {
2939 ClassSet DisequalClasses =
2941 if (!DisequalClasses.isEmpty()) {
2942 for (EquivalenceClass DisequalClass : DisequalClasses) {
3426 ClassSet DisequalClasses = ClassToDisEqSet.second;
3428 for (EquivalenceClass DisEqClass : DisequalClasses)
3449 const EqClassesStrTy &DisequalClasses = ClassToDisEqSet.second;
3450 if (!DisequalClasses.empty()) {
3456 for (const std::string &DisEqClass : DisequalClasses) {