module LKappa: sig
.. end
Intermediate representation of model on wich sanity has been checked
type
switching =
| |
Linked of int |
| |
Freed |
| |
Maintained |
| |
Erased |
type
rule_internal =
| |
I_ANY |
| |
I_ANY_CHANGED of int |
| |
I_ANY_ERASED |
| |
I_VAL_CHANGED of int * int |
| |
I_VAL_ERASED of int |
type
rule_agent = {
}
A representation of 'left-hand-side' agent that stores how
everything is transformed. In an observable (a mixture in an alg_expr),
everything is
Maintained
(represented by
I_VAL_CHANGED (i,i)
for
internal states).
The field ra_syntax represents how the user describe the agent
before compilation. Therefore, compil_of_ast
in this module
generates rule_agent where ra_syntax is Some (Array.copy ra_ports,
Array.copy ra_ints)
.
type
rule_mixture = rule_agent list
val forbid_modification : Locality.t -> 'a option -> unit
val several_internal_states : Locality.t -> 'a
val not_enough_specified : status:string -> side:string -> string -> string * Locality.t -> 'a
val several_occurence_of_site : string -> string * Locality.t -> 'a
val link_only_one_occurence : int -> Locality.t -> 'a
val agent_to_erased : Signature.s -> rule_agent -> rule_agent
val to_erased : Signature.s -> rule_mixture -> rule_mixture
val to_maintained : rule_mixture -> rule_mixture
val to_raw_mixture : Signature.s -> rule_mixture -> Raw_mixture.t
val copy_rule_agent : rule_agent -> rule_agent
val print_rule_mixture : Signature.s ->
ltypes:bool ->
Raw_mixture.t -> Format.formatter -> rule_agent list -> unit
type 'a
rule_agent_counters = {
}
type
rule = {
}
val print_rates : Signature.s ->
(Format.formatter -> int -> unit) ->
(Format.formatter -> int -> unit) -> Format.formatter -> rule -> unit
val print_rule : full:bool ->
Signature.s ->
(Format.formatter -> int -> unit) ->
(Format.formatter -> int -> unit) -> Format.formatter -> rule -> unit
val rule_to_json : filenames:int Mods.StringMap.t -> rule -> Yojson.Basic.json
val rule_of_json : filenames:string array -> Yojson.Basic.json -> rule