package containers-data

  1. Overview
  2. Docs
A set of advanced datatypes for containers

Install

dune-project
 Dependency

Authors

Maintainers

Sources

containers-3.15.tbz
sha256=92143ceb4785ae5f8a07f3ab4ab9f6f32d31ead0536e9be4fdb818dd3c677e58
sha512=5fa80189d0e177af2302b48e72b70299d51fc36ac2019e1cbf389ff6a7f4705b10089405b5a719b3e4845b0d1349a47a967f865dc2e4e3f0d5a0167ef6c31431

doc/containers-data/CCMutHeap/Make/index.html

Module CCMutHeap.MakeSource

Parameters

module X : RANKED

Signature

Sourcetype elt = X.t

Type of elements

Sourcetype t

Heap of elt, whose priority is increased or decreased incrementally (see decrease for instance)

Sourceval create : unit -> t

Create a heap

Sourceval decrease : t -> elt -> unit

decrease h x decreases the value associated to x within h

Sourceval increase : t -> elt -> unit

increase h x increases the value associated to x within h

Sourceval in_heap : elt -> bool
Sourceval size : t -> int

Number of integers within the heap

Sourceval is_empty : t -> bool
Sourceval clear : t -> unit

Clear the content of the heap

Sourceval insert : t -> elt -> unit

Insert a new element into the heap

Sourceval remove_min : t -> elt

Remove and return the integer that has the lowest value from the heap

Sourceval filter : t -> (elt -> bool) -> unit

Filter out values that don't satisfy the predicate