package KaSim
-
KappaLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package KaSim
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val compile : Ast.parsing_compil -> Ast.parsing_compil * boolval make_counter : int -> string -> Ast.counterval remove_counter_rule :
Signature.s ->
LKappa.rule_agent LKappa.rule_agent_counters list ->
Raw_mixture.agent LKappa.rule_agent_counters list ->
LKappa.rule_agent list * Raw_mixture.agent listval counters_perturbations :
Signature.s ->
Ast.mixture ->
(LKappa.rule_mixture, Raw_mixture.agent list, int, LKappa.rule)
Ast.perturbation
listval annotate_dropped_counters :
Signature.t ->
Ast.counter list ->
LKappa.rule_agent ->
int ->
string ->
(int -> unit) option ->
LKappa.rule_agent LKappa.rule_agent_countersval annotate_edit_counters :
Signature.s ->
(string * Locality.t) ->
Ast.counter list ->
LKappa.rule_agent ->
(int -> int -> int -> int -> unit) ->
LKappa.rule_agent LKappa.rule_agent_countersval annotate_created_counters :
Signature.s ->
(string * Locality.t) ->
Ast.counter list ->
(int -> int -> int -> int -> unit) ->
Raw_mixture.agent ->
Raw_mixture.agent LKappa.rule_agent_countersval annotate_counters_with_diff :
Signature.s ->
string Locality.annot ->
Ast.counter list ->
Ast.counter list ->
LKappa.rule_agent ->
(int -> int -> int -> int -> unit) ->
LKappa.rule_agent LKappa.rule_agent_countersval add_counter_to_contact_map :
Signature.s ->
(int -> int -> int -> int -> unit) ->
unit