Searched refs:getDisequalClasses (Results 1 – 1 of 1) sorted by relevance
958 getDisequalClasses(ProgramStateRef State, SymbolRef Sym);960 getDisequalClasses(ProgramStateRef State) const;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 EquivalenceClass2658 return find(State, Sym).getDisequalClasses(State); in getDisequalClasses()2662 EquivalenceClass::getDisequalClasses(ProgramStateRef State) const { in getDisequalClasses() function in EquivalenceClass2663 return getDisequalClasses(State->get<DisequalityMap>(), in getDisequalClasses()2668 EquivalenceClass::getDisequalClasses(DisequalityMapTy Map, in getDisequalClasses() function in EquivalenceClass[all …]