binomial heap: support decrease() operation

Used to adjust position of heap node after
the key of the node was decreased
(= made more important). Cannot be used if
key was increased (= made less important).

1 files changed, 4 insertions, 1 deletions

diff --git a/include/litmus/heap.h b/include/litmus/heap.h
index 19230f550f..da959b0bec 100644
--- a/include/litmus/heap.h
+++ b/include/litmus/heap.h
@@ -1,6 +1,6 @@
 /* heaps.h -- Binomial Heaps
  *
- * (c) 2008 Bjoern Brandenburg
+ * (c) 2008, 2009 Bjoern Brandenburg
  */
 
 #ifndef HEAP_H
@@ -57,6 +57,9 @@ struct heap_node* heap_peek(heap_prio_t higher_prio,
 struct heap_node* heap_take(heap_prio_t higher_prio,
                             struct heap* heap);
 
+void heap_uncache_min(heap_prio_t higher_prio, struct heap* heap);
+int  heap_decrease(heap_prio_t higher_prio, struct heap_node* node);
+
 void heap_delete(heap_prio_t higher_prio,
                  struct heap* heap,
                  struct heap_node* node);