Commit 684fea5c authored by Robert Ricci's avatar Robert Ricci

Another belated commit

parent eb7fccfe
......@@ -15,6 +15,8 @@ val make_heap : 'a -> 'a heap
* the weight of the object, while keeping the heap property *)
val insert : 'a heap -> int -> 'a -> (int -> unit)
val insert_remove : 'a heap -> int -> 'a -> ('b -> unit)
(* Remove the smallest-weighted object from the heap *)
val extract_min : 'a heap -> unit
......@@ -23,6 +25,11 @@ val min : 'a heap -> (int * 'a)
exception EmptyHeap
val iter : 'a heap -> ('a -> unit) -> unit
val iterw : 'a heap -> (int -> 'a -> unit) -> unit
val size : 'a heap -> int
(* Export a bit more stuff so that we can try a less functional approach
* to this problem. *)
type 'a heap_data
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment