Trace (p.kappa-library.4.1.3.doc.kappa-library.runtime.Kappa

Sourcemodule Simulation_info : sig ... end

Sourcetype event_kind =

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

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

Source

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

Sourcetype step =

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

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

Source

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

Source

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

returns
(actions, side_effects)

Source

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

Sourceval simulation_info_of_step : step -> unit Simulation_info.t option

Source

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

Sourceval creation_of_step : step -> int list

Source

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

Source

val 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

Source

val 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

Source

val 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