package grenier

  1. Overview
  2. Docs

Module PartitionSource

Sourcetype set = int
Sourcetype 'a t
Sourceval create : ?partition:('a Strong.Finite.elt -> 'a Strong.Finite.elt -> int) -> 'a Strong.Finite.set -> 'a t
Sourceval mark : 'a t -> 'a Strong.Finite.elt -> unit
Sourceval split : 'a t -> unit
Sourceval discard_unmarked : 'a t -> unit
Sourceval discard : 'a t -> ('a Strong.Finite.elt -> bool) -> unit
Sourceval set_count : 'a t -> int
Sourceval set_of : 'a t -> 'a Strong.Finite.elt -> set
Sourceval choose : 'a t -> set -> 'a Strong.Finite.elt
Sourceval iter_elements : 'a t -> set -> ('a Strong.Finite.elt -> unit) -> unit
Sourceval iter_marked_elements : 'a t -> set -> ('a Strong.Finite.elt -> unit) -> unit
Sourceval clear_marks : 'a t -> unit
Sourceval marked_sets : 'a t -> set list
OCaml

Innovation. Community. Security.