Searched refs:DisequalClasses (Results 1 – 1 of 1) sorted by relevance
2233 ClassSet DisequalClasses = DisequalityEntry.second; in assignSymExprToConst() local2763 if (const ClassSet *DisequalClasses = Map.lookup(*this)) in getDisequalClasses() local2764 return *DisequalClasses; in getDisequalClasses()2786 ClassSet DisequalClasses = DisequalityInfo.second; in isClassDataConsistent() local2789 if (DisequalClasses.isEmpty()) in isClassDataConsistent()2794 for (EquivalenceClass DisequalClass : DisequalClasses) { in isClassDataConsistent()2939 ClassSet DisequalClasses = in removeDeadBindings() local2941 if (!DisequalClasses.isEmpty()) { in removeDeadBindings()2942 for (EquivalenceClass DisequalClass : DisequalClasses) { in removeDeadBindings()3426 ClassSet DisequalClasses = ClassToDisEqSet.second; in printDisequalities() local[all …]