Searched refs:DisequalToOther (Results 1 – 1 of 1) sorted by relevance
2428 ClassSet DisequalToOther = Other.getDisequalClasses(DisequalityInfo, CF); in mergeImpl() local2431 if (DisequalToOther.contains(*this)) in mergeImpl()2434 if (!DisequalToOther.isEmpty()) { in mergeImpl()2438 for (EquivalenceClass DisequalClass : DisequalToOther) { in mergeImpl()