src/ucx/avl.h

changeset 390
d345541018fa
parent 312
e1e3b768ae8b
equal deleted inserted replaced
389:92e482410453 390:d345541018fa
1 /*
2 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
3 *
4 * Copyright 2017 Mike Becker, Olaf Wintermann All rights reserved.
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions are met:
8 *
9 * 1. Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 *
12 * 2. Redistributions in binary form must reproduce the above copyright
13 * notice, this list of conditions and the following disclaimer in the
14 * documentation and/or other materials provided with the distribution.
15 *
16 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
17 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
19 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
20 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26 * POSSIBILITY OF SUCH DAMAGE.
27 */
28
29
30 /**
31 * @file avl.h
32 *
33 * AVL tree implementation.
34 *
35 * This binary search tree implementation allows average O(1) insertion and
36 * removal of elements (excluding binary search time).
37 *
38 * @author Mike Becker
39 * @author Olaf Wintermann
40 */
41
42 #ifndef UCX_AVL_H
43 #define UCX_AVL_H
44
45 #include "ucx.h"
46 #include "allocator.h"
47 #include <inttypes.h>
48
49 #ifdef __cplusplus
50 extern "C" {
51 #endif
52
53 /**
54 * UCX AVL Node type.
55 *
56 * @see UcxAVLNode
57 */
58 typedef struct UcxAVLNode UcxAVLNode;
59
60 /**
61 * UCX AVL Node.
62 */
63 struct UcxAVLNode {
64 /**
65 * The key for this node.
66 */
67 intptr_t key;
68 /**
69 * Data contained by this node.
70 */
71 void *value;
72 /**
73 * The height of this (sub)-tree.
74 */
75 size_t height;
76 /**
77 * Parent node.
78 */
79 UcxAVLNode *parent;
80 /**
81 * Root node of left subtree.
82 */
83 UcxAVLNode *left;
84 /**
85 * Root node of right subtree.
86 */
87 UcxAVLNode *right;
88 };
89
90 /**
91 * UCX AVL Tree.
92 */
93 typedef struct {
94 /**
95 * The UcxAllocator that shall be used to manage the memory for node data.
96 */
97 UcxAllocator *allocator;
98 /**
99 * Root node of the tree.
100 */
101 UcxAVLNode *root;
102 /**
103 * Compare function that shall be used to compare the UcxAVLNode keys.
104 * @see UcxAVLNode.key
105 */
106 cmp_func cmpfunc;
107 /**
108 * Custom user data.
109 * This data will also be provided to the cmpfunc.
110 */
111 void *userdata;
112 } UcxAVLTree;
113
114 /**
115 * Initializes a new UcxAVLTree with a default allocator.
116 *
117 * @param cmpfunc the compare function that shall be used
118 * @return a new UcxAVLTree object
119 * @see ucx_avl_new_a()
120 */
121 UcxAVLTree *ucx_avl_new(cmp_func cmpfunc);
122
123 /**
124 * Initializes a new UcxAVLTree with the specified allocator.
125 *
126 * The cmpfunc should be capable of comparing two keys within this AVL tree.
127 * So if you want to use null terminated strings as keys, you could use the
128 * ucx_cmp_str() function here.
129 *
130 * @param cmpfunc the compare function that shall be used
131 * @param allocator the UcxAllocator that shall be used
132 * @return a new UcxAVLTree object
133 */
134 UcxAVLTree *ucx_avl_new_a(cmp_func cmpfunc, UcxAllocator *allocator);
135
136 /**
137 * Destroys a UcxAVLTree.
138 *
139 * Note, that the contents are not automatically freed.
140 * Use may use #ucx_avl_free_content() before calling this function.
141 *
142 * @param tree the tree to destroy
143 * @see ucx_avl_free_content()
144 */
145 void ucx_avl_free(UcxAVLTree *tree);
146
147 /**
148 * Frees the contents of a UcxAVLTree.
149 *
150 * This is a convenience function that iterates over the tree and passes all
151 * values to the specified destructor function.
152 *
153 * If no destructor is specified (<code>NULL</code>), the free() function of
154 * the tree's own allocator is used.
155 *
156 * You must ensure, that it is valid to pass each value in the map to the same
157 * destructor function.
158 *
159 * You should free the entire tree afterwards, as the contents will be invalid.
160 *
161 * @param tree for which the contents shall be freed
162 * @param destr optional pointer to a destructor function
163 * @see ucx_avl_free()
164 */
165 void ucx_avl_free_content(UcxAVLTree *tree, ucx_destructor destr);
166
167 /**
168 * Macro for initializing a new UcxAVLTree with the default allocator and a
169 * ucx_cmp_ptr() compare function.
170 *
171 * @return a new default UcxAVLTree object
172 */
173 #define ucx_avl_default_new() \
174 ucx_avl_new_a(ucx_cmp_ptr, ucx_default_allocator())
175
176 /**
177 * Gets the node from the tree, that is associated with the specified key.
178 * @param tree the UcxAVLTree
179 * @param key the key
180 * @return the node (or <code>NULL</code>, if the key is not present)
181 */
182 UcxAVLNode *ucx_avl_get_node(UcxAVLTree *tree, intptr_t key);
183
184 /**
185 * Gets the value from the tree, that is associated with the specified key.
186 * @param tree the UcxAVLTree
187 * @param key the key
188 * @return the value (or <code>NULL</code>, if the key is not present)
189 */
190 void *ucx_avl_get(UcxAVLTree *tree, intptr_t key);
191
192 /**
193 * A mode for #ucx_avl_find_node() with the same behavior as
194 * #ucx_avl_get_node().
195 */
196 #define UCX_AVL_FIND_EXACT 0
197 /**
198 * A mode for #ucx_avl_find_node() finding the node whose key is at least
199 * as large as the specified key.
200 */
201 #define UCX_AVL_FIND_LOWER_BOUNDED 1
202 /**
203 * A mode for #ucx_avl_find_node() finding the node whose key is at most
204 * as large as the specified key.
205 */
206 #define UCX_AVL_FIND_UPPER_BOUNDED 2
207 /**
208 * A mode for #ucx_avl_find_node() finding the node with a key that is as close
209 * to the specified key as possible. If the key is present, the behavior is
210 * like #ucx_avl_get_node(). This mode only returns <code>NULL</code> on
211 * empty trees.
212 */
213 #define UCX_AVL_FIND_CLOSEST 3
214
215 /**
216 * Finds a node within the tree. The following modes are supported:
217 * <ul>
218 * <li>#UCX_AVL_FIND_EXACT: the same behavior as #ucx_avl_get_node()</li>
219 * <li>#UCX_AVL_FIND_LOWER_BOUNDED: finds the node whose key is at least
220 * as large as the specified key</li>
221 * <li>#UCX_AVL_FIND_UPPER_BOUNDED: finds the node whose key is at most
222 * as large as the specified key</li>
223 * <li>#UCX_AVL_FIND_CLOSEST: finds the node with a key that is as close to
224 * the specified key as possible. If the key is present, the behavior is
225 * like #ucx_avl_get_node(). This mode only returns <code>NULL</code> on
226 * empty trees.</li>
227 * </ul>
228 *
229 * The distance function provided MUST agree with the compare function of
230 * the AVL tree.
231 *
232 * @param tree the UcxAVLTree
233 * @param key the key
234 * @param dfnc the distance function
235 * @param mode the find mode
236 * @return the node (or <code>NULL</code>, if no node can be found)
237 */
238 UcxAVLNode *ucx_avl_find_node(UcxAVLTree *tree, intptr_t key,
239 distance_func dfnc, int mode);
240
241 /**
242 * Finds a value within the tree.
243 * See #ucx_avl_find_node() for details.
244 *
245 * @param tree the UcxAVLTree
246 * @param key the key
247 * @param dfnc the distance function
248 * @param mode the find mode
249 * @return the value (or <code>NULL</code>, if no value can be found)
250 */
251 void *ucx_avl_find(UcxAVLTree *tree, intptr_t key,
252 distance_func dfnc, int mode);
253
254 /**
255 * Puts a key/value pair into the tree.
256 *
257 * Attention: use this function only, if a possible old value does not need
258 * to be preserved.
259 *
260 * @param tree the UcxAVLTree
261 * @param key the key
262 * @param value the new value
263 * @return zero, if and only if the operation succeeded
264 */
265 int ucx_avl_put(UcxAVLTree *tree, intptr_t key, void *value);
266
267 /**
268 * Puts a key/value pair into the tree.
269 *
270 * This is a secure function which saves the old value to the variable pointed
271 * at by oldvalue.
272 *
273 * @param tree the UcxAVLTree
274 * @param key the key
275 * @param value the new value
276 * @param oldvalue optional: a pointer to the location where a possible old
277 * value shall be stored
278 * @return zero, if and only if the operation succeeded
279 */
280 int ucx_avl_put_s(UcxAVLTree *tree, intptr_t key, void *value, void **oldvalue);
281
282 /**
283 * Removes a node from the AVL tree.
284 *
285 * Note: the specified node is logically removed. The tree implementation
286 * decides which memory area is freed. In most cases the here provided node
287 * is freed, so its further use is generally undefined.
288 *
289 * @param tree the UcxAVLTree
290 * @param node the node to remove
291 * @return zero, if and only if an element has been removed
292 */
293 int ucx_avl_remove_node(UcxAVLTree *tree, UcxAVLNode *node);
294
295 /**
296 * Removes an element from the AVL tree.
297 *
298 * @param tree the UcxAVLTree
299 * @param key the key
300 * @return zero, if and only if an element has been removed
301 */
302 int ucx_avl_remove(UcxAVLTree *tree, intptr_t key);
303
304 /**
305 * Removes an element from the AVL tree.
306 *
307 * This is a secure function which saves the old key and value data from node
308 * to the variables at the location of oldkey and oldvalue (if specified), so
309 * they can be freed afterwards (if necessary).
310 *
311 * Note: the returned key in oldkey is possibly not the same as the provided
312 * key for the lookup (in terms of memory location).
313 *
314 * @param tree the UcxAVLTree
315 * @param key the key of the element to remove
316 * @param oldkey optional: a pointer to the location where the old key shall be
317 * stored
318 * @param oldvalue optional: a pointer to the location where the old value
319 * shall be stored
320 * @return zero, if and only if an element has been removed
321 */
322 int ucx_avl_remove_s(UcxAVLTree *tree, intptr_t key,
323 intptr_t *oldkey, void **oldvalue);
324
325 /**
326 * Counts the nodes in the specified UcxAVLTree.
327 * @param tree the AVL tree
328 * @return the node count
329 */
330 size_t ucx_avl_count(UcxAVLTree *tree);
331
332 /**
333 * Finds the in-order predecessor of the given node.
334 * @param node an AVL node
335 * @return the in-order predecessor of the given node, or <code>NULL</code> if
336 * the given node is the in-order minimum
337 */
338 UcxAVLNode* ucx_avl_pred(UcxAVLNode* node);
339
340 /**
341 * Finds the in-order successor of the given node.
342 * @param node an AVL node
343 * @return the in-order successor of the given node, or <code>NULL</code> if
344 * the given node is the in-order maximum
345 */
346 UcxAVLNode* ucx_avl_succ(UcxAVLNode* node);
347
348 #ifdef __cplusplus
349 }
350 #endif
351
352 #endif /* UCX_AVL_H */
353

mercurial