Primus_round_robin_main.RR.Machine.Other · bap-primus-round-robin-scheduler 2.5.0 · OCaml Packages

bap-primus-round-robin-scheduler

Evaluates all machines in the BFS order

package bap-primus-round-robin-scheduler

primus_round_robin_scheduler_plugin
- Primus_round_robin_main
  - Config
  - RR
    
    1-Machine
    
    Collection
    
    Delay
    
    1-T
    
    Eager
    
    1-T
    
    S
    
    Exn
    
    Fn
    
    Global
    
    Id
    
    Hash_queue
    
    Hash_set
    
    Provide_bin_io
    
    1-X
    
    Provide_of_sexp
    
    1-X
    
    Map
    
    Key
    
    Provide_bin_io
    
    1-Key
    
    Provide_hash
    
    1-Key
    
    Provide_of_sexp
    
    1-Key
    
    Tree
    
    Provide_of_sexp
    
    1-K
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Named
    
    Provide_bin_io
    
    1-Elt
    
    Provide_hash
    
    1-Elt
    
    Provide_of_sexp
    
    1-Elt
    
    Tree
    
    Named
    
    Provide_of_sexp
    
    1-Elt
    
    Table
    
    Provide_bin_io
    
    1-Key
    
    Provide_of_sexp
    
    1-Key
    
    Let
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Lift
    
    List
    
    Local
    
    Monad_infix
    
    Observation
    
    Other
    
    Pair
    
    Seq
    
    Syntax
    
    Triple

Legend:
Library
Module
Module type
Parameter
Class
Class type

Library primus_round_robin_scheduler_plugin

Module Primus_round_robin_main . RR . Machine . Other

val get : 
  Bap_primus.Std.Primus.Machine.id ->
  'a Bap_primus.Std.Primus.Machine.state ->
  'a t

get machine state returns the local state of the machine.

val put : 
  Bap_primus.Std.Primus.Machine.id ->
  'a Bap_primus.Std.Primus.Machine.state ->
  'a ->
  unit t

put machine state sets the local state of the machine.

val update : 
  Bap_primus.Std.Primus.Machine.id ->
  'a Bap_primus.Std.Primus.Machine.state ->
  f:( 'a -> 'a ) ->
  unit t

update machine state ~f maps the local state of the machine.