Method increment

basex-core/src/main/java/org/basex/index/IdPreMap.java:272–277

Increments the pre- and inc-values of all tuples starting from the given index. @param from start index @param with increment value

(final int from, final int with)

   * @param with increment value
   */
  private void increment(final int from, final int with) {
    for(int i = from; i < rows; ++i) {
      pres[i] += with;
      incs[i] += with;
    }
  }

  /**
   * Returns the size of the map.