Counter (kappa-library.Kappa

module Efficiency : sig ... end

type 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

val reinitialize : t -> unit

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

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

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

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

val fake_time : t -> float -> t

val one_time_advance : t -> float -> bool

val one_blocked_event : t -> bool

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

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

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

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

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

val inc_stories : t -> unit

val init_time : t -> float

val max_time : t -> float option

val max_events : t -> int option

val set_max_time : t -> float option -> unit

val set_max_events : t -> int option -> unit

val event_ratio : t -> float option

val time_ratio : t -> float option

val tracked_events : t -> int option

val positive_plot_period : t -> bool

val plot_period : t -> Kappa_terms.Configuration.period

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

val current_time : t -> float

val current_event : t -> int

val current_story : t -> int

val nb_null_event : t -> int

val consecutive_null_event : rule_id:int -> t -> int

val consecutive_blocked : t -> int

val get_efficiency : t -> Efficiency.t

val print_efficiency : Stdlib.Format.formatter -> t -> unit