Lines Matching defs:getDisequalClasses

958   [[nodiscard]] static inline ClassSet getDisequalClasses(ProgramStateRef State,
960   [[nodiscard]] inline ClassSet getDisequalClasses(ProgramStateRef State) const;
962   getDisequalClasses(DisequalityMapTy Map, ClassSet::Factory &Factory) const;
2152       for (EquivalenceClass DisequalClass : Class.getDisequalClasses(State)) {
2443   ClassSet DisequalToOther = Other.getDisequalClasses(DisequalityInfo, CF);
2450     ClassSet DisequalToThis = getDisequalClasses(DisequalityInfo, CF);
2605   ClassSet DisequalToFirst = First.getDisequalClasses(State);
2749 inline ClassSet EquivalenceClass::getDisequalClasses(ProgramStateRef State,
2751   return find(State, Sym).getDisequalClasses(State);
2755 EquivalenceClass::getDisequalClasses(ProgramStateRef State) const {
2756   return getDisequalClasses(State->get<DisequalityMap>(),
2761 EquivalenceClass::getDisequalClasses(DisequalityMapTy Map,
2940         Class.getDisequalClasses(Disequalities, ClassSetFactory);
2944             DisequalClass.getDisequalClasses(Disequalities, ClassSetFactory);