Searched refs:DisequalClass (Results 1 – 1 of 1) sorted by relevance
2131 for (EquivalenceClass DisequalClass : Class.getDisequalClasses(State)) { in assign() local2133 RangeFactory, State, DisequalClass); in assign()2142 Constraints = CF.add(Constraints, DisequalClass, UpdatedConstraint); in assign()2431 for (EquivalenceClass DisequalClass : DisequalToOther) { in mergeImpl() local2432 DisequalToThis = CF.add(DisequalToThis, DisequalClass); in mergeImpl()2438 *DisequalityInfo.lookup(DisequalClass); in mergeImpl()2445 DisequalityInfo = DF.add(DisequalityInfo, DisequalClass, NewSet); in mergeImpl()2772 for (EquivalenceClass DisequalClass : DisequalClasses) { in isClassDataConsistent() local2774 Disequalities.lookup(DisequalClass); in isClassDataConsistent()2909 for (EquivalenceClass DisequalClass : DisequalClasses) { in removeDeadBindings() local[all …]