/** * Returns the number of primary (on-disk) index entries between the index summary entry at `index` and the next * index summary entry (assuming there is one). Without any downsampling, this will always be equivalent to * the index interval. * * @param index the index of an index summary entry (between zero and the index entry size) * * @return the number of partitions after `index` until the next partition with a summary entry */ public int getEffectiveIndexIntervalAfterIndex(int index) { return Downsampling.getEffectiveIndexIntervalAfterIndex(index, samplingLevel, minIndexInterval); }
/** * Returns the number of primary (on-disk) index entries between the index summary entry at `index` and the next * index summary entry (assuming there is one). Without any downsampling, this will always be equivalent to * the index interval. * * @param index the index of an index summary entry (between zero and the index entry size) * * @return the number of partitions after `index` until the next partition with a summary entry */ public int getEffectiveIndexIntervalAfterIndex(int index) { return Downsampling.getEffectiveIndexIntervalAfterIndex(index, samplingLevel, minIndexInterval); }
/** * Returns the number of primary (on-disk) index entries between the index summary entry at `index` and the next * index summary entry (assuming there is one). Without any downsampling, this will always be equivalent to * the index interval. * * @param index the index of an index summary entry (between zero and the index entry size) * * @return the number of partitions after `index` until the next partition with a summary entry */ public int getEffectiveIndexIntervalAfterIndex(int index) { return Downsampling.getEffectiveIndexIntervalAfterIndex(index, samplingLevel, minIndexInterval); }
/** * Returns the number of primary (on-disk) index entries between the index summary entry at `index` and the next * index summary entry (assuming there is one). Without any downsampling, this will always be equivalent to * the index interval. * * @param index the index of an index summary entry (between zero and the index entry size) * * @return the number of partitions after `index` until the next partition with a summary entry */ public int getEffectiveIndexIntervalAfterIndex(int index) { return Downsampling.getEffectiveIndexIntervalAfterIndex(index, samplingLevel, minIndexInterval); }
/** * Returns the number of primary (on-disk) index entries between the index summary entry at `index` and the next * index summary entry (assuming there is one). Without any downsampling, this will always be equivalent to * the index interval. * * @param index the index of an index summary entry (between zero and the index entry size) * * @return the number of partitions after `index` until the next partition with a summary entry */ public int getEffectiveIndexIntervalAfterIndex(int index) { return Downsampling.getEffectiveIndexIntervalAfterIndex(index, samplingLevel, minIndexInterval); }