Simulation progress keeper
module Efficiency : sig ... endval create :
?init_t:float ->
?init_e:int ->
?max_time:float ->
?max_event:int ->
plot_period:Kappa_terms.Configuration.period ->
nb_rules:int ->
unit ->
tval reinitialize : t -> unitval current_simulation_info : t -> unit Trace.Simulation_info.tval next_step_simulation_info : t -> unit Trace.Simulation_info.tval next_story : t -> unit Trace.Simulation_info.tval one_time_advance : t -> float -> boolval one_blocked_event : t -> boolval one_constructive_event : rule_id:int -> t -> boolval one_clashing_instance_event : rule_id:int -> t -> boolval one_no_more_unary_event : rule_id:int -> t -> boolval one_no_more_binary_event : rule_id:int -> t -> boolval one_time_correction_event : ?ti:Kappa_data_structures.Nbr.t -> t -> boolval inc_stories : t -> unitval init_time : t -> floatval max_time : t -> float optionval max_events : t -> int optionval set_max_time : t -> float option -> unitval set_max_events : t -> int option -> unitval event_ratio : t -> float optionval time_ratio : t -> float optionval tracked_events : t -> int optionval positive_plot_period : t -> boolval plot_period : t -> Kappa_terms.Configuration.periodval set_plot_period : t -> Kappa_terms.Configuration.period -> unitval current_time : t -> floatval current_event : t -> intval current_story : t -> intval nb_null_event : t -> intval consecutive_null_event : rule_id:int -> t -> intval consecutive_blocked : t -> intval get_efficiency : t -> Efficiency.tval print_efficiency : Format.formatter -> t -> unit