2151     ClassSet DisequalClasses = DisequalityEntry.second;  in assignSymExprToConst()  local
2670   if (const ClassSet *DisequalClasses = Map.lookup(*this))  in getDisequalClasses()  local
2671     return *DisequalClasses;  in getDisequalClasses()
2693     ClassSet DisequalClasses = DisequalityInfo.second;  in isClassDataConsistent()  local
2696     if (DisequalClasses.isEmpty())  in isClassDataConsistent()
2701     for (EquivalenceClass DisequalClass : DisequalClasses) {  in isClassDataConsistent()
2835     ClassSet DisequalClasses =  in removeDeadBindings()  local
2837     if (!DisequalClasses.isEmpty()) {  in removeDeadBindings()
2838       for (EquivalenceClass DisequalClass : DisequalClasses) {  in removeDeadBindings()
3318     ClassSet DisequalClasses = ClassToDisEqSet.second;  in printDisequalities()  local
3320     for (EquivalenceClass DisEqClass : DisequalClasses)  in printDisequalities()
3341     const EqClassesStrTy &DisequalClasses = ClassToDisEqSet.second;  in printDisequalities()  local
3342     if (!DisequalClasses.empty()) {  in printDisequalities()
3348       for (const std::string &DisEqClass : DisequalClasses) {  in printDisequalities()