Lines Matching defs:DisequalityInfo

2229   DisequalityMapTy DisequalityInfo = State->get<DisequalityMap>();
2231        DisequalityInfo) {
2421   DisequalityMapTy DisequalityInfo = State->get<DisequalityMap>();
2443   ClassSet DisequalToOther = Other.getDisequalClasses(DisequalityInfo, CF);
2450     ClassSet DisequalToThis = getDisequalClasses(DisequalityInfo, CF);
2451     DisequalityInfo = DF.remove(DisequalityInfo, Other);
2460           *DisequalityInfo.lookup(DisequalClass);
2467       DisequalityInfo = DF.add(DisequalityInfo, DisequalClass, NewSet);
2470     DisequalityInfo = DF.add(DisequalityInfo, *this, DisequalToThis);
2471     State = State->set<DisequalityMap>(DisequalityInfo);
2528   DisequalityMapTy DisequalityInfo = State->get<DisequalityMap>();
2533   if (!addToDisequalityInfo(DisequalityInfo, Constraints, RF, State, *this,
2535       !addToDisequalityInfo(DisequalityInfo, Constraints, RF, State, Other,
2542   State = State->set<DisequalityMap>(DisequalityInfo);
2784   for (std::pair<EquivalenceClass, ClassSet> DisequalityInfo : Disequalities) {
2785     EquivalenceClass Class = DisequalityInfo.first;
2786     ClassSet DisequalClasses = DisequalityInfo.second;