bap-primus-round-robin-scheduler
Evaluates all machines in the BFS order
package bap-primus-round-robin-scheduler
-
primus_round_robin_scheduler_plugin
-
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library primus_round_robin_scheduler_plugin
Parameters
module Elt : Base.Hasher.S with type t := Elt.tSignature
val hash_fold_t : Base.Hash.state -> t -> Base.Hash.stateval hash : t -> Base.Hash.hash_value