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);