Lines Matching defs:Disequalities

2783   DisequalityMapTy Disequalities = State->get<DisequalityMap>();
2784   for (std::pair<EquivalenceClass, ClassSet> DisequalityInfo : Disequalities) {
2796           Disequalities.lookup(DisequalClass);
2922   DisequalityMapTy Disequalities = State->get<DisequalityMap>();
2940         Class.getDisequalClasses(Disequalities, ClassSetFactory);
2944             DisequalClass.getDisequalClasses(Disequalities, ClassSetFactory);
2952           Disequalities =
2953               DisequalityFactory.remove(Disequalities, DisequalClass);
2955           Disequalities =
2956               DisequalityFactory.add(Disequalities, DisequalClass, NewSet);
2960       Disequalities = DisequalityFactory.remove(Disequalities, Class);
3032     State = State->set<DisequalityMap>(Disequalities);
3411   DisequalityMapTy Disequalities = State->get<DisequalityMap>();
3414   if (Disequalities.isEmpty()) {
3424   for (std::pair<EquivalenceClass, ClassSet> ClassToDisEqSet : Disequalities) {