2069       for (EquivalenceClass DisequalClass : Class.getDisequalClasses(State)) {  in assign()  local
2071             RangeFactory, State, DisequalClass);  in assign()
2080         Constraints = CF.add(Constraints, DisequalClass, UpdatedConstraint);  in assign()
2370     for (EquivalenceClass DisequalClass : DisequalToOther) {  in mergeImpl()  local
2371       DisequalToThis = CF.add(DisequalToThis, DisequalClass);  in mergeImpl()
2377           *DisequalityInfo.lookup(DisequalClass);  in mergeImpl()
2384       DisequalityInfo = DF.add(DisequalityInfo, DisequalClass, NewSet);  in mergeImpl()
2701     for (EquivalenceClass DisequalClass : DisequalClasses) {  in isClassDataConsistent()  local
2703           Disequalities.lookup(DisequalClass);  in isClassDataConsistent()
2838       for (EquivalenceClass DisequalClass : DisequalClasses) {  in removeDeadBindings()  local
2840             DisequalClass.getDisequalClasses(Disequalities, ClassSetFactory);  in removeDeadBindings()
2849               DisequalityFactory.remove(Disequalities, DisequalClass);  in removeDeadBindings()
2852               DisequalityFactory.add(Disequalities, DisequalClass, NewSet);  in removeDeadBindings()