Lines Matching defs:NewSet

2464       ClassSet NewSet = CF.remove(OriginalSetLinkedToOther, Other);
2465       NewSet = CF.add(NewSet, *this);
2467       DisequalityInfo = DF.add(DisequalityInfo, DisequalClass, NewSet);
2560   ClassSet NewSet = CurrentSet ? *CurrentSet : CF.getEmptySet();
2561   NewSet = CF.add(NewSet, Second);
2563   Info = F.add(Info, First, NewSet);
2948         ClassSet NewSet = ClassSetFactory.remove(DisequalToDisequalSet, Class);
2951         if (NewSet.isEmpty()) {
2956               DisequalityFactory.add(Disequalities, DisequalClass, NewSet);