KaSim 4.0.0 (latest) · OCaml Package

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 = {

ra_type : int;
ra_erased : bool;
ra_ports : ((int, int * int) Ast.link Locality.annot * switching) array;
ra_ints : rule_internal array;
ra_syntax : (((int, int * int) Ast.link Locality.annot * switching) array * rule_internal array) option;

}

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 = {

ra : 'a;
ra_counters : (Ast.counter * switching) option array;

}

type rule = {

r_mix : rule_mixture;
r_created : Raw_mixture.t;
r_delta_tokens : ((rule_mixture, int) Alg_expr.e Locality.annot * int) list;
r_rate : (rule_mixture, int) Alg_expr.e Locality.annot;
r_un_rate : ((rule_mixture, int) Alg_expr.e Locality.annot * (rule_mixture, int) Alg_expr.e Locality.annot option) option;
r_editStyle : bool;

}

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

package KaSim