958   getDisequalClasses(ProgramStateRef State, SymbolRef Sym);
960   getDisequalClasses(ProgramStateRef State) const;
962   getDisequalClasses(DisequalityMapTy Map, ClassSet::Factory &Factory) const;
2069       for (EquivalenceClass DisequalClass : Class.getDisequalClasses(State)) {  in assign()
2360   ClassSet DisequalToOther = Other.getDisequalClasses(DisequalityInfo, CF);  in mergeImpl()
2367     ClassSet DisequalToThis = getDisequalClasses(DisequalityInfo, CF);  in mergeImpl()
2522   ClassSet DisequalToFirst = First.getDisequalClasses(State);  in areEqual()
2656 inline ClassSet EquivalenceClass::getDisequalClasses(ProgramStateRef State,  in getDisequalClasses()  function in EquivalenceClass
2658   return find(State, Sym).getDisequalClasses(State);  in getDisequalClasses()
2662 EquivalenceClass::getDisequalClasses(ProgramStateRef State) const {  in getDisequalClasses()  function in EquivalenceClass
2663   return getDisequalClasses(State->get<DisequalityMap>(),  in getDisequalClasses()
2668 EquivalenceClass::getDisequalClasses(DisequalityMapTy Map,  in getDisequalClasses()  function in EquivalenceClass
2836         Class.getDisequalClasses(Disequalities, ClassSetFactory);  in removeDeadBindings()
2840             DisequalClass.getDisequalClasses(Disequalities, ClassSetFactory);  in removeDeadBindings()