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;2137 for (EquivalenceClass DisequalClass : Class.getDisequalClasses(State)) { in assign()2428 ClassSet DisequalToOther = Other.getDisequalClasses(DisequalityInfo, CF); in mergeImpl()2435 ClassSet DisequalToThis = getDisequalClasses(DisequalityInfo, CF); in mergeImpl()2590 ClassSet DisequalToFirst = First.getDisequalClasses(State); in areEqual()2734 inline ClassSet EquivalenceClass::getDisequalClasses(ProgramStateRef State, in getDisequalClasses() function in EquivalenceClass2736 return find(State, Sym).getDisequalClasses(State); in getDisequalClasses()2740 EquivalenceClass::getDisequalClasses(ProgramStateRef State) const { in getDisequalClasses() function in EquivalenceClass[all …]