Searched refs:Disequalities (Results 1 – 1 of 1) sorted by relevance
2768 DisequalityMapTy Disequalities = State->get<DisequalityMap>(); in isClassDataConsistent() local2769 for (std::pair<EquivalenceClass, ClassSet> DisequalityInfo : Disequalities) { in isClassDataConsistent()2781 Disequalities.lookup(DisequalClass); in isClassDataConsistent()2912 DisequalityMapTy Disequalities = State->get<DisequalityMap>(); in removeDeadBindings() local2930 Class.getDisequalClasses(Disequalities, ClassSetFactory); in removeDeadBindings()2934 DisequalClass.getDisequalClasses(Disequalities, ClassSetFactory); in removeDeadBindings()2942 Disequalities = in removeDeadBindings()2943 DisequalityFactory.remove(Disequalities, DisequalClass); in removeDeadBindings()2945 Disequalities = in removeDeadBindings()2946 DisequalityFactory.add(Disequalities, DisequalClass, NewSet); in removeDeadBindings()[all …]