Searched refs:Disequalities (Results 1 – 1 of 1) sorted by relevance
2761 DisequalityMapTy Disequalities = State->get<DisequalityMap>(); in isClassDataConsistent() local2762 for (std::pair<EquivalenceClass, ClassSet> DisequalityInfo : Disequalities) { in isClassDataConsistent()2774 Disequalities.lookup(DisequalClass); in isClassDataConsistent()2889 DisequalityMapTy Disequalities = State->get<DisequalityMap>(); in removeDeadBindings() local2907 Class.getDisequalClasses(Disequalities, ClassSetFactory); in removeDeadBindings()2911 DisequalClass.getDisequalClasses(Disequalities, ClassSetFactory); in removeDeadBindings()2919 Disequalities = in removeDeadBindings()2920 DisequalityFactory.remove(Disequalities, DisequalClass); in removeDeadBindings()2922 Disequalities = in removeDeadBindings()2923 DisequalityFactory.add(Disequalities, DisequalClass, NewSet); in removeDeadBindings()[all …]