Searched refs:DisequalClass (Results 1 – 1 of 1) sorted by relevance
2137 for (EquivalenceClass DisequalClass : Class.getDisequalClasses(State)) { in assign() local2139 RangeFactory, State, DisequalClass); in assign()2148 Constraints = CF.add(Constraints, DisequalClass, UpdatedConstraint); in assign()2438 for (EquivalenceClass DisequalClass : DisequalToOther) { in mergeImpl() local2439 DisequalToThis = CF.add(DisequalToThis, DisequalClass); in mergeImpl()2445 *DisequalityInfo.lookup(DisequalClass); in mergeImpl()2452 DisequalityInfo = DF.add(DisequalityInfo, DisequalClass, NewSet); in mergeImpl()2779 for (EquivalenceClass DisequalClass : DisequalClasses) { in isClassDataConsistent() local2781 Disequalities.lookup(DisequalClass); in isClassDataConsistent()2932 for (EquivalenceClass DisequalClass : DisequalClasses) { in removeDeadBindings() local[all …]