module Counter: sig
.. end
Simulation progress keeper
module Efficiency: sig
.. end
type
progressBar = {
|
progressSize : int ; |
|
progressChar : char ; |
}
val default_progress : progressBar
type
period =
| |
DE of int |
| |
DT of float |
type
t
val create : ?init_t:float ->
?init_e:int ->
?max_time:float -> ?max_event:int -> plot_period:period -> t
val reinitialize : t -> unit
val current_simulation_info : t -> unit Trace.Simulation_info.t
val next_story : t -> unit Trace.Simulation_info.t
val fill : outputs:(Data.t -> unit) ->
t -> dt:float -> (t -> Nbr.t array) -> unit
val one_time_advance : t -> float -> unit
val one_constructive_event : t -> bool
val one_clashing_instance_event : t -> bool
val one_no_more_unary_event : t -> bool
val one_no_more_binary_event : t -> bool
val one_time_correction_event : t -> Nbr.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_percentage : t -> int option
val time_percentage : t -> int option
val tracked_events : t -> int option
val positive_plot_period : t -> bool
val plot_period : t -> period
val set_plot_period : t -> 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 : t -> int
val get_efficiency : t -> Efficiency.t
val print_efficiency : Format.formatter -> t -> unit
val tick : efficiency:bool -> progressBar -> t -> unit
Output on stdout
val complete_progress_bar : t -> unit