Searched refs:DisequalToThis (Results 1 – 1 of 1) sorted by relevance
2450 ClassSet DisequalToThis = getDisequalClasses(DisequalityInfo, CF); in mergeImpl() local2454 DisequalToThis = CF.add(DisequalToThis, DisequalClass); in mergeImpl()2470 DisequalityInfo = DF.add(DisequalityInfo, *this, DisequalToThis); in mergeImpl()