package bap-primus-greedy-scheduler

You can search for identifiers within the package.

in-package search v0.2.0

Evaluates all machines in the DFS 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.5.0.tar.gz

sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174

md5=5abd9b3628b43f797326034f31ca574f

doc/bap-plugin-primus_greedy/Primus_greedy_main/Greedy/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.