bap-primus-greedy-scheduler
Evaluates all machines in the DFS order
package bap-primus-greedy-scheduler
-
primus_greedy_scheduler_plugin
-
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library primus_greedy_scheduler_plugin
val get : 'a Bap_primus.Std.Primus.Machine.state -> 'a tget state extracts the state.
val put : 'a Bap_primus.Std.Primus.Machine.state -> 'a -> unit tput state x saves a machine state
val update : 'a Bap_primus.Std.Primus.Machine.state -> f:( 'a -> 'a ) -> unit tupdate state ~f updates a state using function f.
ON THIS PAGE
No table of contents