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 Dependency

github.com Edit opam file Versions (4)

Authors

B

BAP Team

Maintainers

I

Ivan Gotovchits <ivg@ieee.org>

Sources

v2.3.0.tar.gz

sha256=a6e80853aaaa26b7ca564d9878891d7146ec1c83852541387c1bba1ad036b8ea

md5=13f2cb1e3b9d90348852252fb0f2d09f

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.