Lines Matching defs:DisequalClass
2152 for (EquivalenceClass DisequalClass : Class.getDisequalClasses(State)) {
2154 RangeFactory, State, DisequalClass);
2163 Constraints = CF.add(Constraints, DisequalClass, UpdatedConstraint);
2453 for (EquivalenceClass DisequalClass : DisequalToOther) {
2454 DisequalToThis = CF.add(DisequalToThis, DisequalClass);
2457 // DisequalToOther not null then the set for DisequalClass is not
2460 *DisequalityInfo.lookup(DisequalClass);
2467 DisequalityInfo = DF.add(DisequalityInfo, DisequalClass, NewSet);
2794 for (EquivalenceClass DisequalClass : DisequalClasses) {
2796 Disequalities.lookup(DisequalClass);
2942 for (EquivalenceClass DisequalClass : DisequalClasses) {
2944 DisequalClass.getDisequalClasses(Disequalities, ClassSetFactory);
2953 DisequalityFactory.remove(Disequalities, DisequalClass);
2956 DisequalityFactory.add(Disequalities, DisequalClass, NewSet);