/** * @return an iterator over all elements in the tree */ public PhExtentF<T> queryExtent() { return new PhExtentF<>(pht.queryExtent(), pht.getDim(), pre); }
/** * @return an iterator over all elements in the tree */ public PhExtentF<T> queryExtent() { return new PhExtentF<>(pht.queryExtent(), pht.getDim(), pre); }