Module `Kappa_runtime.Data`Source

Sourcetype snapshot = {

snapshot_event : int;
snapshot_time : float;
snapshot_agents : (int * Kappa_site_graphs.User_graph.connected_component) list;
snapshot_tokens : (string * Kappa_data_structures.Nbr.t) array;

}

Sourcetype din_data = {

din_kind : Kappa_terms.Primitives.din_kind;
din_start : float;
din_hits : int array;
din_fluxs : float array array;

}

Sourcetype din = {

din_rules : string array;
din_data : din_data;
din_end : float;

}

Sourcetype file_line = {

file_line_name : string option;
file_line_text : string;

}

Sourcetype t =

| DIN of string * din
| DeltaActivities of int * (int * (float * float)) list
| Plot of Kappa_data_structures.Nbr.t array
(*
Must have length >= 1 (at least T or E)
*)
| Print of file_line
| TraceStep of Trace.step
| Snapshot of string * snapshot
| Log of string
| Species of string * float * Kappa_site_graphs.User_graph.connected_component
| Warning of Kappa_data_structures.Loc.t option * Format.formatter -> unit

Sourceval print_snapshot : ?uuid:int -> Format.formatter -> snapshot -> unit

Sourceval print_dot_snapshot : ?uuid:int -> Format.formatter -> snapshot -> unit

Sourceval write_snapshot : Buffer.t -> snapshot -> unit

Output a JSON value of type snapshot.

Sourceval string_of_snapshot : ?len:int -> snapshot -> string

Serialize a value of type snapshot into a JSON string.

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

Sourceval read_snapshot : Yojson.Safe.lexer_state -> Lexing.lexbuf -> snapshot

Input JSON data of type snapshot.

Sourceval snapshot_of_string : string -> snapshot

Deserialize JSON data of type snapshot.

Sourceval print_dot_din : ?uuid:int -> Format.formatter -> din -> unit

Sourceval print_html_din : Format.formatter -> din -> unit

Sourceval write_din : Buffer.t -> din -> unit

Output a JSON value of type din.

Sourceval string_of_din : ?len:int -> din -> string

Serialize a value of type din into a JSON string.

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

Sourceval read_din : Yojson.Safe.lexer_state -> Lexing.lexbuf -> din

Input JSON data of type din.

Sourceval din_of_string : string -> din

Deserialize JSON data of type din.

Sourcetype plot = {

plot_legend : string array;
plot_series : float option array list;

}

Sourceval add_plot_line : Kappa_data_structures.Nbr.t array -> plot -> plot

Sourceval init_plot : Kappa_terms.Model.t -> plot

Sourceval write_plot : Buffer.t -> plot -> unit

Output a JSON value of type plot.

Sourceval string_of_plot : ?len:int -> plot -> string

Serialize a value of type plot into a JSON string.

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

Sourceval read_plot : Yojson.Safe.lexer_state -> Lexing.lexbuf -> plot

Input JSON data of type plot.

Sourceval plot_of_string : string -> plot

Deserialize JSON data of type plot.

Sourceval print_plot_legend : is_tsv:bool -> Format.formatter -> string array -> unit

Source

val print_plot_line : 
  is_tsv:bool ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a array ->
  unit

Sourceval export_plot : is_tsv:bool -> plot -> string

Source

val print_initial_inputs : 
  ?uuid:int ->
  Kappa_terms.Configuration.t ->
  Kappa_terms.Model.t ->
  Format.formatter ->
  (Kappa_terms.Primitives.alg_expr * Kappa_terms.Primitives.elementary_rule)
    list ->
  unit

Source

val print_warning : 
  ?pos:Kappa_data_structures.Loc.t ->
  Format.formatter ->
  (Format.formatter -> unit) ->
  unit

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Kappa_runtime.Data`Source

package kappa-library

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Kappa_runtime.DataSource

Module `Kappa_runtime.Data`Source