Module Trace

module Trace: sig .. end

Trace of simulation

module Simulation_info: sig .. end

type event_kind =

`\|`	`RULE of int`
`\|`	`INIT of int list`	`(*`	the agents	`*)`
`\|`	`PERT of string`	`(*`	the rule	`*)`

val print_event_kind : ?env:Model.t -> Format.formatter -> event_kind -> unit

val print_event_kind_dot_annot : Model.t -> Format.formatter -> event_kind -> unit

type step =

`\|`	`Subs of int * int`
`\|`	`Rule of int * Instantiation.concrete Instantiation.event * unit Simulation_info.t`
`\|`	`Pert of string * Instantiation.concrete Instantiation.event * unit Simulation_info.t`
`\|`	`Init of Instantiation.concrete Instantiation.action list`
`\|`	`Obs of string * Instantiation.concrete Instantiation.test list list * unit Simulation_info.t`
`\|`	`Dummy of string`

type t = step list

val dummy_step : string -> step

val subs_step : int -> int -> step

val step_is_obs : step -> bool

val step_is_init : step -> bool

val step_is_subs : step -> bool

val step_is_rule : step -> bool

val step_is_pert : step -> bool

val has_creation_of_step : step -> bool

val tests_of_step : step -> Instantiation.concrete Instantiation.test list

val actions_of_step : step ->
       Instantiation.concrete Instantiation.action list *
       (Instantiation.concrete Instantiation.site *
        Instantiation.concrete Instantiation.binding_state)
       list

Returns (actions, side_effects)

val side_effects_of_step : step -> Instantiation.concrete Instantiation.site list

val simulation_info_of_step : step -> unit Simulation_info.t option

val creation_of_actions : ('a -> 'b) -> 'a Instantiation.action list -> 'b list

val creation_of_step : step -> int list

val print_step : ?compact:bool -> ?env:Model.t -> Format.formatter -> step -> unit

val print_label_of_step : ?env:Model.t -> Format.formatter -> step -> unit

val step_to_yojson : step -> Yojson.Basic.json

val step_of_yojson : Yojson.Basic.json -> step

val write_step : Bi_outbuf.t -> step -> unit

Output a JSON value of type Trace.step.

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

Serialize a value of type Trace.step into a JSON string.

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

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

Input JSON data of type Trace.step.

val step_of_string : string -> step

Deserialize JSON data of type Trace.step.

val to_yojson : t -> Yojson.Basic.json

val of_yojson : Yojson.Basic.json -> t

val init_trace_file : uuid:int -> Model.t -> Pervasives.out_channel -> unit

val fold_trace_file : (Model.t -> 'a -> step -> 'a) ->
       (Model.t -> 'a) -> string -> Model.t * 'a