Method timestamp_end

tiledb/sm/array/array.h:662–664

* Returns the end timestamp as set by the user. * * This may differ from the actual timestamp in use if the array has not yet * been opened, the user has changed this value, or if using the sentinel * value of `UINT64_MAX`. */

   * value of `UINT64_MAX`.
   */
  inline uint64_t timestamp_end() const {
    return user_set_timestamp_end_.value_or(UINT64_MAX);
  }

  /**
   * Returns the timestamp at which the array was opened.