package KaSim

  1. Overview
  2. Docs
val compile : Ast.parsing_compil -> Ast.parsing_compil * bool
val make_counter : int -> string -> Ast.counter
val counters_perturbations : Signature.s -> Ast.mixture -> (LKappa.rule_mixture, Raw_mixture.agent list, int, LKappa.rule) Ast.perturbation list
val annotate_dropped_counters : Signature.t -> Ast.counter list -> LKappa.rule_agent -> int -> string -> (int -> unit) option -> LKappa.rule_agent LKappa.rule_agent_counters
val 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_counters
val 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_counters
val 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_counters
val add_counter_to_contact_map : Signature.s -> (int -> int -> int -> int -> unit) -> unit
OCaml

Innovation. Community. Security.