grenier.valmari
Partition
grenier.baltree
grenier.binpacking
grenier.doubledouble
grenier.dset
grenier.hll
grenier.jmphash
grenier.orderme
grenier.pcg
grenier.physh
grenier.strong
grenier.trope
type set = int
type 'a t
val create : ?partition:('a Strong.Finite.elt -> 'a Strong.Finite.elt -> int) -> 'a Strong.Finite.set -> 'a t
val mark : 'a t -> 'a Strong.Finite.elt -> unit
val split : 'a t -> unit
val discard_unmarked : 'a t -> unit
val discard : 'a t -> ('a Strong.Finite.elt -> bool) -> unit
val set_count : 'a t -> int
val set_of : 'a t -> 'a Strong.Finite.elt -> set
val choose : 'a t -> set -> 'a Strong.Finite.elt
val iter_elements : 'a t -> set -> ('a Strong.Finite.elt -> unit) -> unit
val iter_marked_elements : 'a t -> set -> ('a Strong.Finite.elt -> unit) -> unit
val clear_marks : 'a t -> unit
val marked_sets : 'a t -> set list