package kappa-library

  1. Overview
  2. Docs
package kappa-library
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct