@Override public byte evaluate(PointsToSetVariable lhs, PointsToSetVariable rhs) { final IntSetVariable<?> objects = rhs; if (objects.getValue() != null) { objects.getValue().foreach(optr -> { InstanceKey object = system.getInstanceKey(optr); if (!getBuilder().isUncataloguedField(object.getConcreteType(), hack)) { PointerKey cat = getPointerKeyForObjectCatalog(object); if (cat != null) { system.newConstraint(cat, fieldNameKeys[0]); } } }); } return NOT_CHANGED; }
@Override public byte evaluate(PointsToSetVariable lhs, PointsToSetVariable rhs) { final IntSetVariable<?> objects = rhs; if (objects.getValue() != null) { objects.getValue().foreach(optr -> { InstanceKey object = system.getInstanceKey(optr); if (!getBuilder().isUncataloguedField(object.getConcreteType(), hack)) { PointerKey cat = getPointerKeyForObjectCatalog(object); if (cat != null) { system.newConstraint(cat, fieldNameKeys[0]); } } }); } return NOT_CHANGED; }
if (!getBuilder().isUncataloguedField(objKeys[i].getConcreteType(), fieldName)) { PointerKey objCatalog = getPointerKeyForObjectCatalog(objKeys[i]); if (objCatalog != null) {
if (!getBuilder().isUncataloguedField(objKeys[i].getConcreteType(), fieldName)) { PointerKey objCatalog = getPointerKeyForObjectCatalog(objKeys[i]); if (objCatalog != null) {