KaSim 4.0.0 · OCaml Package

type log_info

val inc_removed_events : log_info -> log_info

val inc_selected_events : log_info -> log_info

val log_info_to_json : log_info -> Yojson.Basic.json

val log_info_of_json : Yojson.Basic.json -> log_info

val inc_cut_events : log_info -> log_info

val inc_k_cut_events : int -> log_info -> log_info

val reset_cut_events : log_info -> log_info

val inc_n_kasim_events : log_info -> log_info

val inc_n_init_events : log_info -> log_info

val inc_n_side_events : log_info -> log_info

val inc_n_obs_events : log_info -> log_info

val inc_branch : log_info -> log_info

val inc_cut : log_info -> log_info

val reset_log : log_info -> log_info

val dump_complete_log : Remanent_parameters_sig.parameters -> log_info -> unit

val dump_short_log : Remanent_parameters_sig.parameters -> log_info -> unit

val add_propagation_case_up : int -> log_info -> log_info

val add_propagation_case_down : int -> log_info -> log_info

val add_look_up_case : int -> log_info -> log_info

val add_look_down_case : int -> log_info -> log_info

val copy : log_info -> log_info

val is_dummy : step_kind -> bool

val add_event : 
  Remanent_parameters_sig.parameters ->
  Exception.method_handler ->
  step_kind ->
  (unit -> int) option ->
  log_info ->
  Exception.method_handler * log_info

val close_event : 
  Remanent_parameters_sig.parameters ->
  Exception.method_handler ->
  step_kind ->
  (unit -> int) option ->
  log_info ->
  Exception.method_handler * log_info

val add_event_opt : 
  Remanent_parameters_sig.parameters ->
  Exception.method_handler ->
  step_kind option ->
  (unit -> int) option ->
  log_info ->
  Exception.method_handler * log_info

val close_event_opt : 
  Remanent_parameters_sig.parameters ->
  Exception.method_handler ->
  step_kind option ->
  (unit -> int) option ->
  log_info ->
  Exception.method_handler * log_info

val set_time : log_info -> log_info

val set_step_time : log_info -> log_info

val set_global_cut : int -> log_info -> log_info

val set_pseudo_inv : int -> log_info -> log_info

val set_start_compression : log_info -> log_info

val set_grid_generation : log_info -> log_info

val set_canonicalisation : log_info -> log_info

val set_concurrent_event_detection_time : log_info -> log_info

val set_concurrent_event_deletion_time : log_info -> log_info

val set_story_research_time : log_info -> log_info

val ellapsed_global_time : log_info -> float

val ellapsed_time : log_info -> float

val init_log_info : unit -> log_info

val tick : log_info -> bool * log_info

val close_logger : Remanent_parameters_sig.parameters -> unit

val flush_logger : Remanent_parameters_sig.parameters -> unit

package KaSim