885 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(ClassSet, EquivalenceClass)
886 REGISTER_MAP_WITH_PROGRAMSTATE(DisequalityMap, EquivalenceClass, ClassSet)
957   LLVM_NODISCARD static inline ClassSet
959   LLVM_NODISCARD inline ClassSet
961   LLVM_NODISCARD inline ClassSet
962   getDisequalClasses(DisequalityMapTy Map, ClassSet::Factory &Factory) const;
2148   for (std::pair<EquivalenceClass, ClassSet> DisequalityEntry :  in assignSymExprToConst()
2151     ClassSet DisequalClasses = DisequalityEntry.second;  in assignSymExprToConst()
2341   ClassSet::Factory &CF = State->get_context<ClassSet>();  in mergeImpl()
2360   ClassSet DisequalToOther = Other.getDisequalClasses(DisequalityInfo, CF);  in mergeImpl()
2367     ClassSet DisequalToThis = getDisequalClasses(DisequalityInfo, CF);  in mergeImpl()
2376       ClassSet OriginalSetLinkedToOther =  in mergeImpl()
2381       ClassSet NewSet = CF.remove(OriginalSetLinkedToOther, Other);  in mergeImpl()
2472   ClassSet::Factory &CF = State->get_context<ClassSet>();  in addToDisequalityInfo()
2476   const ClassSet *CurrentSet = Info.lookup(First);  in addToDisequalityInfo()
2477   ClassSet NewSet = CurrentSet ? *CurrentSet : CF.getEmptySet();  in addToDisequalityInfo()
2522   ClassSet DisequalToFirst = First.getDisequalClasses(State);  in areEqual()
2656 inline ClassSet EquivalenceClass::getDisequalClasses(ProgramStateRef State,  in getDisequalClasses()
2661 inline ClassSet
2664                             State->get_context<ClassSet>());  in getDisequalClasses()
2667 inline ClassSet
2669                                      ClassSet::Factory &Factory) const {  in getDisequalClasses()
2670   if (const ClassSet *DisequalClasses = Map.lookup(*this))  in getDisequalClasses()
2691   for (std::pair<EquivalenceClass, ClassSet> DisequalityInfo : Disequalities) {  in isClassDataConsistent()
2693     ClassSet DisequalClasses = DisequalityInfo.second;  in isClassDataConsistent()
2702       const ClassSet *DisequalToDisequalClasses =  in isClassDataConsistent()
2821   ClassSet::Factory &ClassSetFactory = State->get_context<ClassSet>();  in removeDeadBindings()
2835     ClassSet DisequalClasses =  in removeDeadBindings()
2839         ClassSet DisequalToDisequalSet =  in removeDeadBindings()
2844         ClassSet NewSet = ClassSetFactory.remove(DisequalToDisequalSet, Class);  in removeDeadBindings()
3316   for (std::pair<EquivalenceClass, ClassSet> ClassToDisEqSet : Disequalities) {  in printDisequalities()
3318     ClassSet DisequalClasses = ClassToDisEqSet.second;  in printDisequalities()