Up – Package index » bap-primus-support » Library bap-plugin-primus_greedy » Primus_greedy_main » Greedy

Module `Primus_greedy_main.Greedy`

bap-primus-support
- Library bap-plugin-primus_exploring
  - Primus_exploring_main
- Library bap-plugin-primus_greedy
  - Primus_greedy_main
    - Config
    - Id
    - Ids
    - Greedy
      - Eval
- Library bap-plugin-primus_limit
  - Primus_limit_main
- Library bap-plugin-primus_loader
  - Primus_loader_main
- Library bap-plugin-primus_print
  - Primus_print_main
- Library bap-plugin-primus_promiscuous
  - Primus_promiscuous_main
- Library bap-plugin-primus_round_robin
  - Primus_round_robin_main
- Library bap-plugin-primus_wandering
  - Primus_wandering_main
- Library bap-primus-track-visited
  - Bap_primus_track_visited
- Sources

Parameters

module Machine : Bap_primus.Std.Primus.Machine.S

Signature

module Eval : sig ... end

val pp_halted : 
  Format.formatter ->
  (Machine.Id.t, 'a) Core_kernel.Set.t ->
  Base.Unit.t

val last : 'a Base.Sequence.t -> 'a option

val reschedule : unit -> unit Machine.t

val halt : unit -> unit Machine.t

val init : unit -> unit Machine.t