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.2.0.tar.gz

sha256=7c6d0dfe2640e800829617dd150ffe748493fe3f317ed41be44312b2821deb46

md5=5dbc6677d646bec59fd7414f23e88cf8

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.