Module Scheduler.PriorityQueue

Sourcetype t
Sourcetype k = Int32.t
Sourceval empty : t
Sourceval sg : k -> p -> t
Sourceval (++) : t -> t -> t
Sourceval is_empty : t -> bool
Sourceval size : t -> int
Sourceval mem : k -> t -> bool
Sourceval find : k -> t -> p option
Sourceval add : k -> p -> t -> t
Sourceval push : k -> p -> t -> t
Sourceval remove : k -> t -> t
Sourceval adjust : k -> (p -> p) -> t -> t
Sourceval update : k -> (p option -> p option) -> t -> t
Sourceval split_at : k -> t -> t * t
Sourceval min : t -> (k * p) option
Sourceval rest : t -> t option
Sourceval pop : t -> ((k * p) * t) option
Sourceval fold_at_most : p -> (k -> p -> 'a -> 'a) -> 'a -> t -> 'a
Sourceval iter_at_most : p -> (k -> p -> unit) -> t -> unit
Sourceval to_seq_at_most : p -> t -> (k * p) Seq.t
Sourceval of_list : (k * p) list -> t
Sourceval of_sorted_list : (k * p) list -> t
Sourceval of_seq : (k * p) Seq.t -> t
Sourceval add_seq : (k * p) Seq.t -> t -> t
Sourceval to_list : t -> (k * p) list
Sourceval to_seq : t -> (k * p) Seq.t
Sourceval fold : (k -> p -> 'a -> 'a) -> 'a -> t -> 'a
Sourceval iter : (k -> p -> unit) -> t -> unit
Sourceval to_priority_list : t -> (k * p) list
Sourceval to_priority_seq : t -> (k * p) Seq.t
Sourceval filter : (k -> p -> bool) -> t -> t
Sourceval partition : (k -> p -> bool) -> t -> t * t
Sourceval pp : ?sep:(Format.formatter -> unit -> unit) -> (Format.formatter -> (k * p) -> unit) -> Format.formatter -> t -> unit
Sourceval pp_dump : (Format.formatter -> k -> unit) -> (Format.formatter -> p -> unit) -> Format.formatter -> t -> unit
Sourceval depth : t -> int