예제 #1
0
 /** cleans the data structure implementing the delta domain */
 public void clearDeltaDomain() {
   delatDom.clear();
 }
예제 #2
0
 /**
  * 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();
 }
예제 #3
0
 public boolean getReleasedDeltaDomain() {
   return delatDom.isReleased();
 }
예제 #4
0
 /**
  * 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();
 }
예제 #5
0
 @Override
 public IDeltaDomain copyDelta() {
   return delatDom.copy();
 }
예제 #6
0
 public DisposableIntIterator getDeltaIterator() {
   return delatDom.iterator();
 }
예제 #7
0
 private void addIndex(int i) {
   contents.set(i);
   delatDom.remove(i + offset);
   if (!contents.get(i)) LOGGER.severe("etrange etrange");
   size.add(1);
 }
예제 #8
0
 private void removeIndex(int i) {
   contents.clear(i);
   delatDom.remove(i + offset);
   if (contents.get(i)) LOGGER.severe("etrange etrange");
   size.add(-1);
 }