Module Make.Selection

A collection of non-overlapping regions (e.g. a set of CpG islands)

type t
val empty : t
val add : t -> location -> t
val inter : t -> t -> t
val union : t -> t -> t
val diff : t -> t -> t
val size : t -> int
val intersects : t -> location -> bool

intersects loc sel returns true if loc has a non-empty intersection with sel, and false otherwise.

val overlap : t -> location -> int
val to_stream : t -> location Stream.t
val of_stream : location Stream.t -> t

of_stream e computes a selection (i.e. a set of non overlapping locations) as the union of the locations contained in e