Range_tree

Types

Creation

Range_tree_d<Data, Window, Traits> r ( Tree_base<Data, Window> sublayer_tree);

A range tree is constructed, such that the subtree of each vertex is of the same type prototype sublayer_tree is. We assume that the dimension of the tree is $$d. This means, that sublayer_tree is a prototype of a $$d-1-dimensional tree. All data items of the $$d-dimensional range tree have container type Data. The query window of the tree has container type Window. Traits provides access to the corresponding data slots of container Data and Window for the $$d-th dimension. The traits class Traits must at least provide all functions and type definitions as described in Section . The template class described there is fully generic and should fulfill the most requirements one can have. In order to generate a one-dimensional range tree instantiate Tree_anchor<Data, Window> sublayer_tree with the same template parameters (Data and Window) Range_tree_d is defined. In order to construct a two-dimensional range tree, create Range_tree_d with a one-dimensional Range_tree_d with the corresponding Traits class of the first dimension. Precondition: Traits::Data==Data and Traits::Window==Window.

Operations

template<class OutputIterator>
OutputIterator	r.window_query ( Window win, OutputIterator result)
		All elements that lay inside the $$d-dimensional interval defined through win are placed in the sequence container of OutputIterator; the output iterator that points to the last location the function wrote to is returned.
bool	r.is_valid ()	The tree structure is checked. For each vertex the subtree is checked on being valid and it is checked weather the value of the Key_type of a vertex corresponds to the highest Key_type value of the left subtree.

Protected Operations

bool	r.is_inside ( Window win, Data object)
		returns true, if the data of object lies between the start and endpoint of interval win. False otherwise.
bool	r.is_anchor ()	returns false.

Implementation