diff options
Diffstat (limited to 'src/heap.h')
-rw-r--r-- | src/heap.h | 322 |
1 files changed, 309 insertions, 13 deletions
@@ -18,6 +18,25 @@ namespace Bu | |||
18 | { | 18 | { |
19 | subExceptionDecl( HeapException ); | 19 | subExceptionDecl( HeapException ); |
20 | 20 | ||
21 | /** | ||
22 | * A priority queue that allows for an unlimited number of priorities. All | ||
23 | * objects enqueued must support less-than-comparison. Then every time an | ||
24 | * item is dequeued it is always the least item in the heap. The heap | ||
25 | * operates using a binary tree for storage, which allows most operations | ||
26 | * to be very fast. Enqueueing and dequeueing are both O(log(N)) operatoins | ||
27 | * whereas peeking is constant time. | ||
28 | * | ||
29 | * This heap implementation allows iterating, however please note that any | ||
30 | * enqueue or dequeue operation will invalidate the iterator and make it | ||
31 | * unusable (if it still works, you shouldn't trust the results). Also, | ||
32 | * the items are not stored in memory in order, they are optomized into a | ||
33 | * tree. This means that the items will be in effectively random order | ||
34 | * while iterating through them, and the order cannot be trusted. Also, | ||
35 | * modifying an item in the heap will not cause that item to be re-sorted. | ||
36 | * If you want to change the position of an item in the heap you will have | ||
37 | * to dequeue every item before it, dequeue that item, change it, and | ||
38 | * re-enqueue all of the items removed. | ||
39 | */ | ||
21 | template<typename item, typename cmpfunc=__basicLTCmp<item>, typename itemalloc=std::allocator<item> > | 40 | template<typename item, typename cmpfunc=__basicLTCmp<item>, typename itemalloc=std::allocator<item> > |
22 | class Heap : public Queue<item> | 41 | class Heap : public Queue<item> |
23 | { | 42 | { |
@@ -165,29 +184,306 @@ namespace Bu | |||
165 | return iFill; | 184 | return iFill; |
166 | } | 185 | } |
167 | 186 | ||
168 | /* | 187 | class iterator |
169 | void print( class Formatter &f ) | ||
170 | { | 188 | { |
171 | f << "graph G {" << "\n"; | 189 | friend class const_iterator; |
172 | for( int j = 0; j < iFill; j++ ) | 190 | friend class Heap<item, cmpfunc, itemalloc>; |
191 | private: | ||
192 | Heap<item, cmpfunc, itemalloc> *pHeap; | ||
193 | int iIndex; | ||
194 | |||
195 | iterator( Heap<item, cmpfunc, itemalloc> *pHeap, int iIndex ) : | ||
196 | pHeap( pHeap ), iIndex( iIndex ) | ||
173 | { | 197 | { |
174 | if( j*2+1 < iFill ) | ||
175 | f << " " << j << " -- " << j*2+1 << ";" << "\n"; | ||
176 | if( j*2+2 < iFill ) | ||
177 | f << " " << j << " -- " << j*2+2 << ";" << "\n"; | ||
178 | } | 198 | } |
179 | for( int j = 0; j < iFill; j++ ) | 199 | |
200 | void checkValid() | ||
201 | { | ||
202 | if( pHeap == NULL ) | ||
203 | throw Bu::ExceptionBase("Iterator not initialized."); | ||
204 | if( iIndex < 0 || iIndex >= pHeap->iFill ) | ||
205 | throw Bu::ExceptionBase("Iterator out of bounds."); | ||
206 | } | ||
207 | |||
208 | public: | ||
209 | iterator() : | ||
210 | pHeap( NULL ), | ||
211 | iIndex( -1 ) | ||
212 | { | ||
213 | } | ||
214 | |||
215 | iterator( const iterator &i ) : | ||
216 | pHeap( i.pHeap ), | ||
217 | iIndex( i.iIndex ) | ||
218 | { | ||
219 | } | ||
220 | |||
221 | bool operator==( const iterator &oth ) const | ||
222 | { | ||
223 | return (oth.pHeap == pHeap) && (oth.iIndex == iIndex); | ||
224 | } | ||
225 | |||
226 | bool operator!=( const iterator &oth ) const | ||
227 | { | ||
228 | return (oth.pHeap != pHeap) || (oth.iIndex != iIndex); | ||
229 | } | ||
230 | |||
231 | item &operator*() | ||
232 | { | ||
233 | return pHeap->aItem[iIndex]; | ||
234 | } | ||
235 | |||
236 | item *operator->() | ||
237 | { | ||
238 | return &(pHeap->aItem[iIndex]); | ||
239 | } | ||
240 | |||
241 | iterator &operator++() | ||
242 | { | ||
243 | checkValid(); | ||
244 | iIndex++; | ||
245 | if( iIndex >= pHeap->iFill ) | ||
246 | iIndex = -1; | ||
247 | |||
248 | return *this; | ||
249 | } | ||
250 | |||
251 | iterator &operator--() | ||
252 | { | ||
253 | checkValid(); | ||
254 | iIndex--; | ||
255 | |||
256 | return *this; | ||
257 | } | ||
258 | |||
259 | iterator &operator++( int ) | ||
180 | { | 260 | { |
181 | f << " " << j << " [label=\"" << aItem[j] << "\"];" << "\n"; | 261 | checkValid(); |
262 | iIndex++; | ||
263 | if( iIndex >= pHeap->iFill ) | ||
264 | iIndex = -1; | ||
265 | |||
266 | return *this; | ||
267 | } | ||
268 | |||
269 | iterator &operator--( int ) | ||
270 | { | ||
271 | checkValid(); | ||
272 | iIndex--; | ||
273 | |||
274 | return *this; | ||
275 | } | ||
276 | |||
277 | iterator operator+( int iDelta ) | ||
278 | { | ||
279 | checkValid(); | ||
280 | iterator ret( *this ); | ||
281 | ret.iIndex += iDelta; | ||
282 | if( ret.iIndex >= pHeap->iFill ) | ||
283 | ret.iIndex = -1; | ||
284 | return ret; | ||
285 | } | ||
286 | |||
287 | iterator operator-( int iDelta ) | ||
288 | { | ||
289 | checkValid(); | ||
290 | iterator ret( *this ); | ||
291 | ret.iIndex -= iDelta; | ||
292 | if( ret.iIndex < 0 ) | ||
293 | ret.iIndex = -1; | ||
294 | return ret; | ||
295 | } | ||
296 | |||
297 | operator bool() | ||
298 | { | ||
299 | return iIndex != -1; | ||
300 | } | ||
301 | |||
302 | bool isValid() | ||
303 | { | ||
304 | return iIndex != -1; | ||
305 | } | ||
306 | |||
307 | iterator &operator=( const iterator &oth ) | ||
308 | { | ||
309 | pHeap = oth.pHeap; | ||
310 | iIndex = oth.iIndex; | ||
311 | } | ||
312 | }; | ||
313 | |||
314 | class const_iterator | ||
315 | { | ||
316 | friend class Heap<item, cmpfunc, itemalloc>; | ||
317 | private: | ||
318 | Heap<item, cmpfunc, itemalloc> *pHeap; | ||
319 | int iIndex; | ||
320 | |||
321 | const_iterator( Heap<item, cmpfunc, itemalloc> *pHeap, | ||
322 | int iIndex ) : | ||
323 | pHeap( pHeap ), iIndex( iIndex ) | ||
324 | { | ||
325 | } | ||
326 | |||
327 | void checkValid() | ||
328 | { | ||
329 | if( pHeap == NULL ) | ||
330 | throw Bu::ExceptionBase("Iterator not initialized."); | ||
331 | if( iIndex < 0 || iIndex >= pHeap->iFill ) | ||
332 | throw Bu::ExceptionBase("Iterator out of bounds."); | ||
182 | } | 333 | } |
183 | f << "}" << "\n"; | 334 | |
184 | } */ | 335 | public: |
336 | const_iterator() : | ||
337 | pHeap( NULL ), | ||
338 | iIndex( -1 ) | ||
339 | { | ||
340 | } | ||
341 | |||
342 | const_iterator( const const_iterator &i ) : | ||
343 | pHeap( i.pHeap ), | ||
344 | iIndex( i.iIndex ) | ||
345 | { | ||
346 | } | ||
347 | |||
348 | const_iterator( const iterator &i ) : | ||
349 | pHeap( i.pHeap ), | ||
350 | iIndex( i.iIndex ) | ||
351 | { | ||
352 | } | ||
353 | |||
354 | bool operator==( const const_iterator &oth ) const | ||
355 | { | ||
356 | return (oth.pHeap == pHeap) && (oth.iIndex == iIndex); | ||
357 | } | ||
358 | |||
359 | bool operator!=( const const_iterator &oth ) const | ||
360 | { | ||
361 | return (oth.pHeap != pHeap) || (oth.iIndex != iIndex); | ||
362 | } | ||
363 | |||
364 | const item &operator*() | ||
365 | { | ||
366 | return pHeap->aItem[iIndex]; | ||
367 | } | ||
368 | |||
369 | const item *operator->() | ||
370 | { | ||
371 | return &(pHeap->aItem[iIndex]); | ||
372 | } | ||
373 | |||
374 | const_iterator &operator++() | ||
375 | { | ||
376 | checkValid(); | ||
377 | iIndex++; | ||
378 | if( iIndex >= pHeap->iFill ) | ||
379 | iIndex = -1; | ||
380 | |||
381 | return *this; | ||
382 | } | ||
383 | |||
384 | const_iterator &operator--() | ||
385 | { | ||
386 | checkValid(); | ||
387 | iIndex--; | ||
388 | |||
389 | return *this; | ||
390 | } | ||
391 | |||
392 | const_iterator &operator++( int ) | ||
393 | { | ||
394 | checkValid(); | ||
395 | iIndex++; | ||
396 | if( iIndex >= pHeap->iFill ) | ||
397 | iIndex = -1; | ||
398 | |||
399 | return *this; | ||
400 | } | ||
401 | |||
402 | const_iterator &operator--( int ) | ||
403 | { | ||
404 | checkValid(); | ||
405 | iIndex--; | ||
406 | |||
407 | return *this; | ||
408 | } | ||
409 | |||
410 | const_iterator operator+( int iDelta ) | ||
411 | { | ||
412 | checkValid(); | ||
413 | const_iterator ret( *this ); | ||
414 | ret.iIndex += iDelta; | ||
415 | if( ret.iIndex >= pHeap->iFill ) | ||
416 | ret.iIndex = -1; | ||
417 | return ret; | ||
418 | } | ||
419 | |||
420 | const_iterator operator-( int iDelta ) | ||
421 | { | ||
422 | checkValid(); | ||
423 | const_iterator ret( *this ); | ||
424 | ret.iIndex -= iDelta; | ||
425 | if( ret.iIndex < 0 ) | ||
426 | ret.iIndex = -1; | ||
427 | return ret; | ||
428 | } | ||
429 | |||
430 | operator bool() | ||
431 | { | ||
432 | return iIndex != -1; | ||
433 | } | ||
434 | |||
435 | bool isValid() | ||
436 | { | ||
437 | return iIndex != -1; | ||
438 | } | ||
439 | |||
440 | const_iterator &operator=( const const_iterator &oth ) | ||
441 | { | ||
442 | pHeap = oth.pHeap; | ||
443 | iIndex = oth.iIndex; | ||
444 | } | ||
445 | |||
446 | const_iterator &operator=( const iterator &oth ) | ||
447 | { | ||
448 | pHeap = oth.pHeap; | ||
449 | iIndex = oth.iIndex; | ||
450 | } | ||
451 | }; | ||
452 | |||
453 | iterator begin() | ||
454 | { | ||
455 | if( iFill == 0 ) | ||
456 | return end(); | ||
457 | return iterator( this, 0 ); | ||
458 | } | ||
459 | |||
460 | const_iterator begin() const | ||
461 | { | ||
462 | if( iFill == 0 ) | ||
463 | return end(); | ||
464 | return const_iterator( this, 0 ); | ||
465 | } | ||
466 | |||
467 | iterator end() | ||
468 | { | ||
469 | return iterator( this, -1 ); | ||
470 | } | ||
471 | |||
472 | const_iterator end() const | ||
473 | { | ||
474 | return const_iterator( this, -1 ); | ||
475 | } | ||
476 | |||
185 | 477 | ||
186 | private: | 478 | private: |
187 | void upSize() | 479 | void upSize() |
188 | { | 480 | { |
189 | item *aNewItems = ia.allocate( iSize*2+1 ); | 481 | item *aNewItems = ia.allocate( iSize*2+1 ); |
190 | // memcpy( aNewItems, aItem, sizeof(item)*iFill ); | 482 | // |
483 | // We cannot use a memcopy here because we don't know what kind | ||
484 | // of datastructures are being used, we have to copy them one at | ||
485 | // a time. | ||
486 | // | ||
191 | for( int j = 0; j < iFill; j++ ) | 487 | for( int j = 0; j < iFill; j++ ) |
192 | { | 488 | { |
193 | ia.construct( &aNewItems[j], aItem[j] ); | 489 | ia.construct( &aNewItems[j], aItem[j] ); |