package grenier

  1. Overview
  2. Docs
A collection of various algorithms in OCaml

Install 

dune-project
 Dependency

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

Authors

  1. F
    Frederic Bour <frederic.bour@lakaban.net>

Maintainers

  1. F
    Frederic Bour <frederic.bour@lakaban.net>

Sources

grenier-v0.8.tbz
sha256=622a34f91f2787096f15786901b8d8cff528cada805b018fdbd522c00c6f13e8
sha512=e687e7c9e7b61d876c70570a9b6e4f3a497c8deb334e28532d8c2f9a2a06bff1330431b64ec3e8c4bcfcf2cc9495723339196608c6c4ac5a0699020d0af93e26

doc/grenier.valmari/Partition/index.html

Module Partition

type set = int
type 'a t
val create : ?partition:('a Finite.element -> 'a Finite.element -> int) -> 'a Finite.set -> 'a t
val mark : 'a t -> 'a Finite.element -> unit
val split : 'a t -> unit
val discard_unmarked : 'a t -> unit
val discard : 'a t -> ('a Finite.element -> bool) -> unit
val set_count : 'a t -> int
val set_of : 'a t -> 'a Finite.element -> set
val choose : 'a t -> set -> 'a Finite.element
val iter_elements : 'a t -> set -> ('a Finite.element -> unit) -> unit
val iter_marked_elements : 'a t -> set -> ('a Finite.element -> unit) -> unit
val clear_marks : 'a t -> unit
val marked_sets : 'a t -> set list