Searched refs:getDisequalClasses (Results 1 – 1 of 1) sorted by relevance
578 getDisequalClasses(ProgramStateRef State, SymbolRef Sym);580 getDisequalClasses(ProgramStateRef State) const;582 getDisequalClasses(DisequalityMapTy Map, ClassSet::Factory &Factory) const;1538 for (EquivalenceClass DisequalClass : Class.getDisequalClasses(State)) { in setConstraint()1724 ClassSet DisequalToOther = Other.getDisequalClasses(DisequalityInfo, CF); in mergeImpl()1726 ClassSet DisequalToThis = getDisequalClasses(DisequalityInfo, CF); in mergeImpl()1880 ClassSet DisequalToFirst = First.getDisequalClasses(State); in areEqual()1888 inline ClassSet EquivalenceClass::getDisequalClasses(ProgramStateRef State, in getDisequalClasses() function in EquivalenceClass1890 return find(State, Sym).getDisequalClasses(State); in getDisequalClasses()1894 EquivalenceClass::getDisequalClasses(ProgramStateRef State) const { in getDisequalClasses() function in EquivalenceClass[all …]