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

A

Alt-Ergo developers

Sources

2.4.0.tar.gz

sha256=d0c41838de4c39f54cc181ec84d9ce17b950b57df6884893731802aef6993bac

md5=12ecc5c002154d81af1b14023f2c2245

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