package kappa-library

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Kappa_runtime.TraceSource

Trace of simulation

Sourcemodule Simulation_info : sig ... end
Sourcetype event_kind =
  1. | RULE of int
  2. | INIT of int list
    (*

    the agents

    *)
  3. | PERT of string
    (*

    the rule

    *)
Sourceval print_event_kind : ?env:Kappa_terms.Model.t -> Format.formatter -> event_kind -> unit
Sourceval print_event_kind_dot_annot : Kappa_terms.Model.t -> Format.formatter -> event_kind -> unit
Sourcetype t = step list
Sourceval dummy_step : string -> step
Sourceval subs_step : int -> int -> step
Sourceval step_is_obs : step -> bool
Sourceval step_is_init : step -> bool
Sourceval step_is_subs : step -> bool
Sourceval step_is_rule : step -> bool
Sourceval step_is_pert : step -> bool
Sourceval has_creation_of_step : step -> bool
Sourceval simulation_info_of_step : step -> unit Simulation_info.t option
Sourceval creation_of_actions : ('a -> 'b) -> 'a Kappa_terms.Instantiation.action list -> 'b list
Sourceval creation_of_step : step -> int list
Sourceval print_step : ?compact:bool -> ?env:Kappa_terms.Model.t -> Format.formatter -> step -> unit
Sourceval print_label_of_step : ?env:Kappa_terms.Model.t -> Format.formatter -> step -> unit
Sourceval step_to_yojson : step -> Yojson.Basic.t
Sourceval json_dictionnary : string
Sourceval write_step : Buffer.t -> step -> unit

Output a JSON value of type step.

Sourceval string_of_step : ?len:int -> step -> string

Serialize a value of type step into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

Sourceval read_step : Yojson.Safe.lexer_state -> Lexing.lexbuf -> step

Input JSON data of type step.

Sourceval step_of_string : string -> step

Deserialize JSON data of type step.

Sourceval write_json : Buffer.t -> t -> unit
Sourceval read_json : Yojson.Safe.lexer_state -> Lexing.lexbuf -> t
Sourceval init_trace_file : uuid:int -> Kappa_terms.Model.t -> out_channel -> unit
Sourceval fold_trace : (Kappa_terms.Model.t -> 'a -> step -> 'a) -> (Kappa_terms.Model.t -> 'a) -> Yojson.Safe.lexer_state -> Lexing.lexbuf -> Kappa_terms.Model.t * 'a
Sourceval fold_trace_file : (Kappa_terms.Model.t -> 'a -> step -> 'a) -> (Kappa_terms.Model.t -> 'a) -> string -> Kappa_terms.Model.t * 'a
Sourceval get_headers_from_file : string -> int option * Kappa_terms.Model.t
OCaml

Innovation. Community. Security.