Module Kappa_runtime.CounterSource

Simulation progress keeper

Sourcemodule Efficiency : sig ... end
Sourcetype t
Sourceval 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 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