package alt-ergo-lib

You can search for identifiers within the package.

in-package search v0.2.0

The Alt-Ergo SMT prover library

Install

Dune Dependency

alt-ergo.ocamlpro.com Readme LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1 License Edit opam file Versions (15)

Authors

A

Alt-Ergo developers

Maintainers

O

OCamlPro <alt-ergo@ocamlpro.com>

Sources

alt-ergo-2.3.0.tar.gz

sha256=7f1906900272125315833b9f0a6abc3c5af7b836d604fdb10a98a9079c1b99f9

md5=d99bfaf748f7c640222e59677e6afd7c

doc/alt-ergo-lib/AltErgoLib/Iheap/index.html

Module `AltErgoLib.Iheap`Source

Integer heaps

This modules define priority heaps over integers.

Integer heaps

Sourcetype t

The type of heaps.

Sourceval init : int -> t

Create a heap with the given initial size.

Sourceval in_heap : t -> int -> bool

Heap membership function.

Sourceval decrease : (int -> int -> bool) -> t -> int -> unit

Decrease activity of the given integer. TODO: document the comparison function !

Sourceval increase : (int -> int -> bool) -> t -> int -> unit

Increase activity of the given integer. TODO: document the comparison function !

Sourceval size : t -> int

Returns the current size of the heap.

Sourceval is_empty : t -> bool

Is the heap empty ?

Sourceval insert : (int -> int -> bool) -> t -> int -> unit

Inset a new element in the heap. TODO: document comparison function.

Sourceval grow_to_by_double : t -> int -> unit

Grow the size of the heap by multiplying it by 2 until it is at least the size specified.

Sourceval remove_min : (int -> int -> bool) -> t -> int

Remove the minimum element from the heap and return it.

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

Filter elements in the heap. TODO: document comparison function !

On This Page

Integer heaps

package alt-ergo-lib

Install

Dune Dependency

Authors

Maintainers

Sources

doc/alt-ergo-lib/AltErgoLib/Iheap/index.html

Module AltErgoLib.IheapSource

Integer heaps

Module `AltErgoLib.Iheap`Source