Module `Kappa_runtime.Counter`Source

Simulation progress keeper

Sourcemodule Efficiency : sig ... end

Sourcetype t

val create : 
  ?init_t:float ->
  ?init_e:int ->
  ?max_time:float ->
  ?max_event:int ->
  plot_period:Kappa_terms.Configuration.period ->
  nb_rules:int ->
  unit ->
  t

Sourceval reinitialize : t -> unit

Sourceval current_simulation_info : t -> unit Trace.Simulation_info.t

Sourceval next_step_simulation_info : t -> unit Trace.Simulation_info.t

Sourceval next_story : t -> unit Trace.Simulation_info.t

Sourceval fill : outputs:(t -> float -> unit) -> t -> dt:float -> unit

Sourceval fake_time : t -> float -> t

Sourceval one_time_advance : t -> float -> bool

Sourceval one_blocked_event : t -> bool

Sourceval one_constructive_event : rule_id:int -> t -> bool

Sourceval one_clashing_instance_event : rule_id:int -> t -> bool

Sourceval one_no_more_unary_event : rule_id:int -> t -> bool

Sourceval one_no_more_binary_event : rule_id:int -> t -> bool

Sourceval one_time_correction_event : ?ti:Kappa_data_structures.Nbr.t -> t -> bool

Sourceval inc_stories : t -> unit

Sourceval init_time : t -> float

Sourceval max_time : t -> float option

Sourceval max_events : t -> int option

Sourceval set_max_time : t -> float option -> unit

Sourceval set_max_events : t -> int option -> unit

Sourceval event_ratio : t -> float option

Sourceval time_ratio : t -> float option

Sourceval tracked_events : t -> int option

Sourceval positive_plot_period : t -> bool

Sourceval plot_period : t -> Kappa_terms.Configuration.period

Sourceval set_plot_period : t -> Kappa_terms.Configuration.period -> unit

Sourceval current_time : t -> float

Sourceval current_event : t -> int

Sourceval current_story : t -> int

Sourceval nb_null_event : t -> int

Sourceval consecutive_null_event : rule_id:int -> t -> int

Sourceval consecutive_blocked : t -> int

Sourceval get_efficiency : t -> Efficiency.t

Sourceval print_efficiency : Format.formatter -> t -> unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/kappa-library.runtime/Kappa_runtime/Counter/index.html

Module `Kappa_runtime.Counter`Source

package kappa-library

Install

Dune Dependency

Authors

Maintainers

Sources

doc/kappa-library.runtime/Kappa_runtime/Counter/index.html

Module Kappa_runtime.CounterSource

Module `Kappa_runtime.Counter`Source