package grenier

You can search for identifiers within the package.

in-package search v0.2.0

Module `Partition`Source

Sourcetype set = int

Sourcetype 'a t

val 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

val 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