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