Module Data

module Data: sig .. end
Must have length >= 1 (at least T or E)

type snapshot = {
   snapshot_file : string;
   snapshot_event : int;
   snapshot_time : float;
   snapshot_agents : (int * User_graph.connected_component) list;
   snapshot_tokens : (string * Nbr.t) array;
}
type din_data = {
   din_name : string;
   din_kind : Primitives.din_kind;
   din_start : float;
   din_hits : int array;
   din_fluxs : float array array;
}
type din = {
   din_rules : string array;
   din_data : din_data;
   din_end : float;
}
type file_line = {
   file_line_name : string option;
   file_line_text : string;
}
type t = 
| DIN of din
| DeltaActivities of int * (int * (float * float)) list
| Plot of Nbr.t array (*
Must have length >= 1 (at least T or E)
*)
| Print of file_line
| TraceStep of Trace.step
| Snapshot of snapshot
| Log of string
| Species of string * float * User_graph.connected_component
| Warning of Locality.t option * (Format.formatter -> unit)
val print_snapshot : ?uuid:int -> Format.formatter -> snapshot -> unit
val print_dot_snapshot : ?uuid:int -> Format.formatter -> snapshot -> unit
val write_snapshot : Bi_outbuf.t -> snapshot -> unit
Output a JSON value of type Data.snapshot.
val string_of_snapshot : ?len:int -> snapshot -> string
Serialize a value of type Data.snapshot into a JSON string.
len : specifies the initial length of the buffer used internally. Default: 1024.
val read_snapshot : Yojson.Safe.lexer_state -> Lexing.lexbuf -> snapshot
Input JSON data of type Data.snapshot.
val snapshot_of_string : string -> snapshot
Deserialize JSON data of type Data.snapshot.
val print_dot_din : ?uuid:int -> Format.formatter -> din -> unit
val print_html_din : Format.formatter -> din -> unit
val write_din : Bi_outbuf.t -> din -> unit
Output a JSON value of type Data.din.
val string_of_din : ?len:int -> din -> string
Serialize a value of type Data.din into a JSON string.
len : specifies the initial length of the buffer used internally. Default: 1024.
val read_din : Yojson.Safe.lexer_state -> Lexing.lexbuf -> din
Input JSON data of type Data.din.
val din_of_string : string -> din
Deserialize JSON data of type Data.din.
type plot = {
   plot_legend : string array;
   plot_series : float option array list;
}
val add_plot_line : Nbr.t array -> plot -> plot
val init_plot : Model.t -> plot
val write_plot : Bi_outbuf.t -> plot -> unit
Output a JSON value of type Data.plot.
val string_of_plot : ?len:int -> plot -> string
Serialize a value of type Data.plot into a JSON string.
len : specifies the initial length of the buffer used internally. Default: 1024.
val read_plot : Yojson.Safe.lexer_state -> Lexing.lexbuf -> plot
Input JSON data of type Data.plot.
val plot_of_string : string -> plot
Deserialize JSON data of type Data.plot.
val print_plot_legend : is_tsv:bool -> Format.formatter -> string array -> unit
val print_plot_line : is_tsv:bool ->
(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a array -> unit
val export_plot : is_tsv:bool -> plot -> string
val print_initial_inputs : ?uuid:int ->
Configuration.t ->
Model.t ->
Contact_map.t ->
Format.formatter ->
(Primitives.alg_expr * Primitives.elementary_rule) list -> unit
val print_warning : ?pos:Locality.t -> Format.formatter -> (Format.formatter -> unit) -> unit