1 // Copyright 2014 The Chromium Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
5 // Provides an implementation the parts of the RTree data structure that don't
6 // require knowledge of the generic key type. Don't use these objects directly,
7 // rather specialize the RTree<> object in r_tree.h. This file defines the
8 // internal objects of an RTree, namely Nodes (internal nodes of the tree) and
9 // Records, which hold (key, rectangle) pairs.
11 #ifndef UI_GFX_GEOMETRY_R_TREE_BASE_H_
12 #define UI_GFX_GEOMETRY_R_TREE_BASE_H_
17 #include "base/containers/hash_tables.h"
18 #include "base/macros.h"
19 #include "base/memory/scoped_ptr.h"
20 #include "base/memory/scoped_vector.h"
21 #include "ui/gfx/geometry/rect.h"
22 #include "ui/gfx/gfx_export.h"
26 class GFX_EXPORT RTreeBase
{
31 typedef std::vector
<const RecordBase
*> Records
;
32 typedef ScopedVector
<NodeBase
> Nodes
;
34 RTreeBase(size_t min_children
, size_t max_children
);
37 // Protected data structure class for storing internal Nodes or leaves with
39 class GFX_EXPORT NodeBase
{
43 // Appends to |records_out| the set of Records in this subtree with rects
44 // that intersect |query_rect|. Avoids clearing |records_out| so that it
45 // can be called recursively.
46 virtual void AppendIntersectingRecords(const Rect
& query_rect
,
47 Records
* records_out
) const = 0;
49 // Returns all records stored in the subtree rooted at this node. Appends to
50 // |matches_out| without clearing.
51 virtual void AppendAllRecords(Records
* records_out
) const = 0;
53 // Returns NULL if no children. Does not recompute bounds.
54 virtual scoped_ptr
<NodeBase
> RemoveAndReturnLastChild() = 0;
56 // Returns -1 for Records, or the height of this subtree for Nodes. The
57 // height of a leaf Node (a Node containing only Records) is 0, a leaf's
58 // parent is 1, etc. Note that in an R*-Tree, all branches from the root
59 // Node will be the same height.
60 virtual int Level() const = 0;
62 // Recomputes our bounds by taking the union of all child rects, then calls
63 // recursively on our parent so that ultimately all nodes up to the root
64 // recompute their bounds.
65 void RecomputeBoundsUpToRoot();
67 NodeBase
* parent() { return parent_
; }
68 const NodeBase
* parent() const { return parent_
; }
69 void set_parent(NodeBase
* parent
) { parent_
= parent
; }
70 const Rect
& rect() const { return rect_
; }
71 void set_rect(const Rect
& rect
) { rect_
= rect
; }
74 NodeBase(const Rect
& rect
, NodeBase
* parent
);
76 // Bounds recomputation without calling parents to do the same.
77 virtual void RecomputeLocalBounds();
80 friend class RTreeTest
;
81 friend class RTreeNodeTest
;
83 // This Node's bounding rectangle.
86 // A weak pointer to our parent Node in the RTree. The root node will have a
87 // NULL value for |parent_|.
90 DISALLOW_COPY_AND_ASSIGN(NodeBase
);
93 class GFX_EXPORT RecordBase
: public NodeBase
{
95 explicit RecordBase(const Rect
& rect
);
96 virtual ~RecordBase();
98 virtual void AppendIntersectingRecords(const Rect
& query_rect
,
99 Records
* records_out
) const OVERRIDE
;
100 virtual void AppendAllRecords(Records
* records_out
) const OVERRIDE
;
101 virtual scoped_ptr
<NodeBase
> RemoveAndReturnLastChild() OVERRIDE
;
102 virtual int Level() const OVERRIDE
;
105 friend class RTreeTest
;
106 friend class RTreeNodeTest
;
108 DISALLOW_COPY_AND_ASSIGN(RecordBase
);
111 class GFX_EXPORT Node
: public NodeBase
{
113 // Constructs an empty Node with |level_| of 0.
117 virtual void AppendIntersectingRecords(const Rect
& query_rect
,
118 Records
* records_out
) const OVERRIDE
;
119 virtual scoped_ptr
<NodeBase
> RemoveAndReturnLastChild() OVERRIDE
;
120 virtual int Level() const OVERRIDE
;
121 virtual void AppendAllRecords(Records
* matches_out
) const OVERRIDE
;
123 // Constructs a new Node that is the parent of this Node and already has
124 // this Node as its sole child. Valid to call only on root Nodes, meaning
125 // Nodes with |parent_| NULL. Note that ownership of this Node is
126 // transferred to the parent returned by this function.
127 scoped_ptr
<Node
> ConstructParent();
129 // Removes |number_to_remove| children from this Node, and appends them to
130 // the supplied list. Does not repair bounds upon completion. Nodes are
131 // selected in the manner suggested in the Beckmann et al. paper, which
132 // suggests that the children should be sorted by the distance from the
133 // center of their bounding rectangle to their parent's bounding rectangle,
134 // and then the n closest children should be removed for re-insertion. This
135 // removal occurs at most once on each level of the tree when overflowing
136 // nodes that have exceeded the maximum number of children during an Insert.
137 void RemoveNodesForReinsert(size_t number_to_remove
, Nodes
* nodes
);
139 // Given a pointer to a child node within this Node, removes it from our
140 // list. If that child had any children, appends them to the supplied orphan
141 // list. Returns the removed child. Does not recompute bounds, as the caller
142 // might subsequently remove this node as well, meaning the recomputation
143 // would be wasted work.
144 scoped_ptr
<NodeBase
> RemoveChild(NodeBase
* child_node
, Nodes
* orphans
);
146 // Returns the best parent for insertion of the provided |node| as a child.
147 Node
* ChooseSubtree(NodeBase
* node
);
149 // Adds |node| as a child of this Node, and recomputes the bounds of this
150 // node after the addition of the child. Returns the new count of children
151 // stored in this Node. This node becomes the owner of |node|.
152 size_t AddChild(scoped_ptr
<NodeBase
> node
);
154 // Returns a sibling to this Node with at least min_children and no greater
155 // than max_children of this Node's children assigned to it, and having the
156 // same parent. Bounds will be valid on both Nodes after this call.
157 scoped_ptr
<NodeBase
> Split(size_t min_children
, size_t max_children
);
159 size_t count() const { return children_
.size(); }
160 const NodeBase
* child(size_t i
) const { return children_
[i
]; }
161 NodeBase
* child(size_t i
) { return children_
[i
]; }
164 typedef std::vector
<Rect
> Rects
;
166 explicit Node(int level
);
168 // Given two arrays of bounds rectangles as computed by BuildLowBounds()
169 // and BuildHighBounds(), returns the index of the element in those arrays
170 // along which a split of the arrays would result in a minimum amount of
171 // overlap (area of intersection) in the two groups.
172 static size_t ChooseSplitIndex(size_t start_index
,
174 const Rects
& low_bounds
,
175 const Rects
& high_bounds
);
177 // R*-Tree attempts to keep groups of rectangles that are roughly square
178 // in shape. It does this by comparing the "margins" of different bounding
179 // boxes, where margin is defined as the sum of the length of all four sides
180 // of a rectangle. For two rectangles of equal area, the one with the
181 // smallest margin will be the rectangle whose width and height differ the
182 // least. When splitting we decide to split along an axis chosen from the
183 // rectangles either sorted vertically or horizontally by finding the axis
184 // that would result in the smallest sum of margins between the two bounding
185 // boxes of the resulting split. Returns the smallest sum computed given the
186 // sorted bounding boxes and a range to look within.
187 static int SmallestMarginSum(size_t start_index
,
189 const Rects
& low_bounds
,
190 const Rects
& high_bounds
);
192 // Sorts nodes primarily by increasing y coordinates, and secondarily by
193 // increasing height.
194 static bool CompareVertical(const NodeBase
* a
, const NodeBase
* b
);
196 // Sorts nodes primarily by increasing x coordinates, and secondarily by
198 static bool CompareHorizontal(const NodeBase
* a
, const NodeBase
* b
);
200 // Sorts nodes by the distance of the center of their rectangles to the
201 // center of their parent's rectangles.
202 static bool CompareCenterDistanceFromParent(
203 const NodeBase
* a
, const NodeBase
* b
);
205 // Given two vectors of Nodes sorted by vertical or horizontal bounds,
206 // populates two vectors of Rectangles in which the ith element is the union
207 // of all bounding rectangles [0,i] in the associated sorted array of Nodes.
208 static void BuildLowBounds(const std::vector
<NodeBase
*>& vertical_sort
,
209 const std::vector
<NodeBase
*>& horizontal_sort
,
210 Rects
* vertical_bounds
,
211 Rects
* horizontal_bounds
);
213 // Given two vectors of Nodes sorted by vertical or horizontal bounds,
214 // populates two vectors of Rectangles in which the ith element is the
215 // union of all bounding rectangles [i, count()) in the associated sorted
217 static void BuildHighBounds(const std::vector
<NodeBase
*>& vertical_sort
,
218 const std::vector
<NodeBase
*>& horizontal_sort
,
219 Rects
* vertical_bounds
,
220 Rects
* horizontal_bounds
);
222 virtual void RecomputeLocalBounds() OVERRIDE
;
224 // Returns the increase in overlap value, as defined in Beckmann et al. as
225 // the sum of the areas of the intersection of all child rectangles
226 // (excepting the candidate child) with the argument rectangle. Here the
227 // |candidate_node| is one of our |children_|, and |expanded_rect| is the
228 // already-computed union of the candidate's rect and |rect|.
229 int OverlapIncreaseToAdd(const Rect
& rect
,
230 const NodeBase
* candidate_node
,
231 const Rect
& expanded_rect
) const;
233 // Returns a new node containing children [split_index, count()) within
234 // |sorted_children|. Children before |split_index| remain with |this|.
235 scoped_ptr
<NodeBase
> DivideChildren(
236 const Rects
& low_bounds
,
237 const Rects
& high_bounds
,
238 const std::vector
<NodeBase
*>& sorted_children
,
241 // Returns a pointer to the child node that will result in the least overlap
242 // increase with the addition of node_rect, or NULL if there's a tie found.
243 // Requires a precomputed vector of expanded rectangles where the ith
244 // rectangle in the vector is the union of |children_|[i] and node_rect.
245 // Overlap is defined in Beckmann et al. as the sum of the areas of
246 // intersection of all child rectangles with the |node_rect| argument
247 // rectangle. This heuristic attempts to choose the node for which adding
248 // the new rectangle to their bounding box will result in the least overlap
249 // with the other rectangles, thus trying to preserve the usefulness of the
250 // bounding rectangle by keeping it from covering too much redundant area.
251 Node
* LeastOverlapIncrease(const Rect
& node_rect
,
252 const Rects
& expanded_rects
);
254 // Returns a pointer to the child node that will result in the least area
255 // enlargement if the argument node rectangle were to be added to that
256 // node's bounding box. Requires a precomputed vector of expanded rectangles
257 // where the ith rectangle in the vector is the union of children_[i] and
259 Node
* LeastAreaEnlargement(const Rect
& node_rect
,
260 const Rects
& expanded_rects
);
266 friend class RTreeTest
;
267 friend class RTreeNodeTest
;
269 DISALLOW_COPY_AND_ASSIGN(Node
);
272 // Inserts |node| into the tree. The |highest_reinsert_level| supports
273 // re-insertion as described by Beckmann et al. As Node overflows progagate
274 // up the tree the algorithm performs a reinsertion of the overflow Nodes
275 // (instead of a split) at most once per level of the tree. A starting value
276 // of -1 for |highest_reinsert_level| means that reinserts are permitted for
277 // every level of the tree. This should always be set to -1 except by
278 // recursive calls from within InsertNode().
279 void InsertNode(scoped_ptr
<NodeBase
> node
, int* highest_reinsert_level
);
281 // Removes |node| from the tree without deleting it.
282 scoped_ptr
<NodeBase
> RemoveNode(NodeBase
* node
);
284 // If |root_| has only one child, deletes the |root_| Node and replaces it
285 // with its only descendant child. Otherwise does nothing.
286 void PruneRootIfNecessary();
288 // Deletes the entire current tree and replaces it with an empty Node.
291 const Node
* root() const { return root_
.get(); }
294 friend class RTreeTest
;
295 friend class RTreeNodeTest
;
297 // A pointer to the root node in the RTree.
298 scoped_ptr
<Node
> root_
;
300 // The parameters used to define the shape of the RTree.
301 const size_t min_children_
;
302 const size_t max_children_
;
304 DISALLOW_COPY_AND_ASSIGN(RTreeBase
);
309 #endif // UI_GFX_GEOMETRY_R_TREE_BASE_H_