package libzipperposition

You can search for identifiers within the package.

in-package search v0.2.0

Library for Zipperposition

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (4)

Authors

Maintainers

S

simon.cruanes.2.17@m4x.org

Sources

2.1.tar.gz

md5=e72de75e9f0f87da9e6e8c0a4d4c89f9

sha512=81becfc9badd686ab3692cd9312172aa4c4e3581b110e81770bb01e0ffbc1eb8495d0dd6d43b98f3d06e6b8c8a338174c13ebafb4e9849a3ddf89f9a3a72c287

doc/libzipperposition.calculi/Libzipperposition_calculi/MyHeap/Make/index.html

Module `MyHeap.Make`

Parameters

module Elt : RANKED

Signature

module Vec = CCVector

type elt = Elt.t

type t = {

heap : elt Vec.vector;

}

val _absent_index : int

val create : unit -> t

val left : int -> int

val right : int -> int

val parent : int -> int

val percolate_up : t -> Elt.t -> unit

val percolate_down : t -> Elt.t -> unit

val in_heap : Elt.t -> bool

val decrease : t -> Elt.t -> unit

val increase : t -> Elt.t -> unit

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

val size : t -> int

val is_empty : t -> bool

val iter : t -> (elt -> unit) -> unit

val clear : t -> unit

val insert : t -> elt -> unit

val remove_min : t -> elt

On This Page

Parameters
Signature