package bheap

  1. Overview
  2. Docs
package bheap
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Binary_heap.MakeSource

Parameters

module X : Ordered

Signature

Sourcetype t

Type of priority queues.

Sourceval create : dummy:X.t -> int -> t

create ~dummy c creates a new heap, with initial capacity of c. The value dummy is used to fill unused cells of the internal array. Note: dummy can still be used as a regular value in the queue.

Sourceval length : t -> int

length h returns the number of elements of h

Sourceval is_empty : t -> bool

is_empty h checks the emptiness of h

Sourceval add : t -> X.t -> unit

add x h adds a new element x in heap h; size of h is doubled when maximum capacity is reached; complexity $O(log(n))$

Sourceval minimum : t -> X.t

minimum h returns the minimum element of h; raises Empty when h is empty; complexity $O(1)$

Sourceval remove : t -> unit

remove h removes the minimum element of h; raises Empty when h is empty; complexity $O(log(n))$

Sourceval pop_minimum : t -> X.t

pop_minimum h removes the minimum element of h and returns it; raises Empty when h is empty; complexity $O(log(n))$

Sourceval iter : (X.t -> unit) -> t -> unit

usual iterators and combinators; elements are presented in arbitrary order

Sourceval fold : (X.t -> 'a -> 'a) -> t -> 'a -> 'a