Greedy (p.bap-primus-greedy-scheduler.2.4.0.doc.bap-plugin-primus_greedy.Primus_greedy

Parameters

module Machine : Bap_primus.Std.Primus.Machine.S

module Eval : sig ... end

val pp_halted : 
  Format.formatter ->
  (Machine.Id.t, 'a) Core_kernel.Set.t ->
  Base.Unit.t

val last : 'a Base.Sequence.t -> 'a option

val reschedule : unit -> unit Machine.t

val halt : unit -> unit Machine.t

val init : unit -> unit Machine.t