/** cleans the data structure implementing the delta domain */ public void clearDeltaDomain() { delatDom.clear(); }
/** * after an iteration over the delta domain, the delta domain is reopened again. * * @return true iff the delta domain is reopened empty (no updates have been made to the domain * while it was frozen, false iff the delta domain is reopened with pending value removals * (updates were made to the domain, while the delta domain was frozen). */ public boolean releaseDeltaDomain() { return delatDom.release(); }
public boolean getReleasedDeltaDomain() { return delatDom.isReleased(); }
/** * The delta domain container is "frozen" (it can no longer accept new value removals) so that * this set of values can be iterated as such */ public void freezeDeltaDomain() { delatDom.freeze(); }
@Override public IDeltaDomain copyDelta() { return delatDom.copy(); }
public DisposableIntIterator getDeltaIterator() { return delatDom.iterator(); }
private void addIndex(int i) { contents.set(i); delatDom.remove(i + offset); if (!contents.get(i)) LOGGER.severe("etrange etrange"); size.add(1); }
private void removeIndex(int i) { contents.clear(i); delatDom.remove(i + offset); if (contents.get(i)) LOGGER.severe("etrange etrange"); size.add(-1); }