158159160161162163164165166
} kernel.add(element - min); if (reactOnModification) { delta.add(element, SetDelta.KERNEL, cause); } SetEventType e = SetEventType.ADD_TO_KER; notifyPropagators(e, cause); return true; }
177178179180181182183184185
return false; } if (reactOnModification) { delta.add(element, SetDelta.ENVELOP, cause); } SetEventType e = SetEventType.REMOVE_FROM_ENVELOPE; notifyPropagators(e, cause); return true; }