bap-primus-greedy-scheduler
Evaluates all machines in the DFS order
package bap-primus-greedy-scheduler
-
primus_greedy_scheduler_plugin
-
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library primus_greedy_scheduler_plugin
Parameters
module Machine : Bap_primus.Std.Primus.Machine.SSignature
module Eval : sig ... endval pp_halted :
Format.formatter ->
( Machine.Id.t, 'a ) Core_kernel.Set.t ->
Base.Unit.tval last : 'a Base.Sequence.t -> 'a optionval reschedule : unit -> unit Machine.tval halt : unit -> unit Machine.tval init : unit -> unit Machine.tON THIS PAGE
No table of contents