package kappa-library

  1. Overview
  2. Docs
Public internals of the Kappa tool suite. Use this package to use kappa as a lib

Install 

dune-project
 Dependency

kappalanguage.org Readme Changelog Edit opam file Versions (2)

Authors

  1. J
    Jean Krivine
  2. J
    Jérôme Feret
  3. P
    Pierre Boutillier
  4. I
    Ioana Cristescu
  5. M
    Mutaamba Maasha
  6. L
    Lý Kim Quyên
  7. A
    Antoine Pouille

Maintainers

  1. A
    Antoine Pouille <antoine.a.pouille@inria.fr>
  2. J
    Jérôme Feret <jerome.feret@info.ens.psl.eu>

Sources

v4.1.3.tar.gz
md5=1c9a8a0d79f085757817f90834e166f5
sha512=13ac40442940ba6e72d7dc5bf952e67443872f7bff63e9c76a3a699a6904c88696047fe04519b7ec6546371642f6ee7b0983117be302694aca15500b0df40de3

doc/kappa-library.runtime/Kappa_runtime/Trace/index.html

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
  • returns

    (actions, side_effects)

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