package bap-primus-round-robin-scheduler

You can search for identifiers within the package.

in-package search v0.2.0

Evaluates all machines in the BFS order

Install

dune-project

Dependency

github.com Edit opam file Versions (4)

Authors

B

BAP Team

Maintainers

I

Ivan Gotovchits <ivg@ieee.org>

Sources

v2.4.0.tar.gz

sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5

md5=b8b1aff8c6846f2213eafc54de07b304

doc/bap-plugin-primus_round_robin/Primus_round_robin_main/RR/argument-1-Machine/Other/index.html

Module `Machine.Other`

Local state of other machines.

This module gives access to the state of other machines. It is possible both to pry into others state and even to change their state to enable full intermachine communication. Use this module with care!

since 2.2.0

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.