Module Bigraph.Rs

Bigraphical reactive systems.

module type L = Rs_intf.L
type nonrec rs_type = Rs_intf.rs_type =
  1. | BRS
    (*

    Bigraphical Reactive Systems

    *)
  2. | PBRS
    (*

    Probabilistic Bigraphical Reactive Systems

    *)
  3. | SBRS
    (*

    Stochastic Bigraphical Reactive Systems

    *)
  4. | ABRS
    (*

    Action (Nondeterministic) Bigraphical Reactive Systems

    *)
val pp_rs_type : Ppx_deriving_runtime.Format.formatter -> rs_type -> Ppx_deriving_runtime.unit
val show_rs_type : rs_type -> Ppx_deriving_runtime.string
type nonrec stats = Rs_intf.stats
val show_stats : stats -> string
val pp_stats : Stdlib.Format.formatter -> stats -> unit
val stats_descr : stats -> (string * string * bool) list

Return a description of the execution statistics. It consists of a list of triples in the form (description, value, flag), where flag is true if the corresponding property changes across executions, e.g. build time.

val set_collect_stats : bool -> unit

Gate the gathering of the expensive statistics (internal, mean_size, mean_size_match). When false (the default) the O(n) state-size pass is skipped and the corresponding fields are filled with zero. The cheap fields (time, states, trans, occs) are always collected. Set true before a run whose stats will be reported (--debug-extra or --metrics-json).

module type RS = Rs_intf.RS