Searched refs:getDisequalClasses (Results 1 – 1 of 1) sorted by relevance
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)) { in assign()2443 ClassSet DisequalToOther = Other.getDisequalClasses(DisequalityInfo, CF); in mergeImpl()2450 ClassSet DisequalToThis = getDisequalClasses(DisequalityInfo, CF); in mergeImpl()2605 ClassSet DisequalToFirst = First.getDisequalClasses(State); in areEqual()2749 inline ClassSet EquivalenceClass::getDisequalClasses(ProgramStateRef State, in getDisequalClasses() function in EquivalenceClass2751 return find(State, Sym).getDisequalClasses(State); in getDisequalClasses()2755 EquivalenceClass::getDisequalClasses(ProgramStateRef State) const { in getDisequalClasses() function in EquivalenceClass[all …]