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;2131 for (EquivalenceClass DisequalClass : Class.getDisequalClasses(State)) { in assign()2421 ClassSet DisequalToOther = Other.getDisequalClasses(DisequalityInfo, CF); in mergeImpl()2428 ClassSet DisequalToThis = getDisequalClasses(DisequalityInfo, CF); in mergeImpl()2583 ClassSet DisequalToFirst = First.getDisequalClasses(State); in areEqual()2727 inline ClassSet EquivalenceClass::getDisequalClasses(ProgramStateRef State, in getDisequalClasses() function in EquivalenceClass2729 return find(State, Sym).getDisequalClasses(State); in getDisequalClasses()2733 EquivalenceClass::getDisequalClasses(ProgramStateRef State) const { in getDisequalClasses() function in EquivalenceClass[all …]