package kappa-library

  1. Overview
  2. Docs
Public internals of the Kappa tool suite. Use this package to use kappa as a lib

Install 

dune-project
 Dependency

kappalanguage.org Readme Changelog Edit opam file Versions (2)

Authors

  1. J
    Jean Krivine
  2. J
    Jérôme Feret
  3. P
    Pierre Boutillier
  4. I
    Ioana Cristescu
  5. M
    Mutaamba Maasha
  6. L
    Lý Kim Quyên
  7. A
    Antoine Pouille

Maintainers

  1. A
    Antoine Pouille <antoine.a.pouille@inria.fr>
  2. J
    Jérôme Feret <jerome.feret@info.ens.psl.eu>

Sources

v4.1.3.tar.gz
md5=1c9a8a0d79f085757817f90834e166f5
sha512=13ac40442940ba6e72d7dc5bf952e67443872f7bff63e9c76a3a699a6904c88696047fe04519b7ec6546371642f6ee7b0983117be302694aca15500b0df40de3

doc/kappa-library.terms/Kappa_terms/Instantiation/index.html

Module Kappa_terms.InstantiationSource

What users wrote when writing its rules

All names refers to the one from the signature

Sourcetype agent_name = int
Sourcetype site_name = int
Sourcetype internal_state = int
Sourcetype binding_type = agent_name * site_name
Sourcetype abstract = Matching.Agent.t

in a rule

in a simulation state

Sourcetype 'a site = 'a * site_name
Sourcetype 'a test =
  1. | Is_Here of 'a
  2. | Has_Internal of 'a site * internal_state
  3. | Is_Free of 'a site
  4. | Is_Bound of 'a site
  5. | Has_Binding_type of 'a site * binding_type
  6. | Is_Bound_to of 'a site * 'a site
Sourcetype 'a action =
  1. | Create of 'a * (site_name * internal_state option) list
  2. | Mod_internal of 'a site * internal_state
  3. | Bind of 'a site * 'a site
  4. | Bind_to of 'a site * 'a site
  5. | Free of 'a site
  6. | Remove of 'a
Sourceval sort_concrete_action_list : concrete action list -> concrete action list
Sourceval sort_concrete_action_list_reverse : concrete action list -> concrete action list
Sourceval sort_abstract_action_list : concrete action list -> concrete action list
Sourceval sort_abstract_action_list_reverse : concrete action list -> concrete action list
Sourcetype 'a binding_state =
  1. | ANY
  2. | FREE
  3. | BOUND
  4. | BOUND_TYPE of binding_type
  5. | BOUND_to of 'a site
Sourcetype 'a event = {
  1. tests : 'a test list list;
    (*

    The tests written in the rule (pattern by pattern)

    *)
  2. actions : 'a action list;
    (*

    The modifications written in the rule

    *)
  3. side_effects_src : ('a site * 'a binding_state) list;
    (*

    the site of the agents mentioned in the rule where there is a side effects

    *)
  4. side_effects_dst : 'a site list;
    (*

    the site of agents not mentionned in the rule that have been freed by side effect

    *)
  5. connectivity_tests : 'a test list;
    (*

    witness that patterns where connected (unary instances only of course)

    *)
}
Sourceval empty_event : 'a event
Sourceval rename_abstract_test : debug_mode:bool -> int -> Kappa_data_structures.Renaming.t -> abstract test -> abstract test
Sourceval rename_abstract_action : debug_mode:bool -> int -> Kappa_data_structures.Renaming.t -> abstract action -> abstract action
Sourceval rename_abstract_event : debug_mode:bool -> int -> Kappa_data_structures.Renaming.t -> abstract event -> abstract event
Sourceval rename_abstract_side_effect : debug_mode:bool -> int -> Kappa_data_structures.Renaming.t -> ((Matching.Agent.t * 'a) * Matching.Agent.t binding_state) -> (Matching.Agent.t * 'a) * Matching.Agent.t binding_state
Sourceval concretize_test : debug_mode:bool -> (Matching.t * int Kappa_data_structures.Mods.IntMap.t) -> abstract test -> concrete test
Sourceval concretize_action : debug_mode:bool -> (Matching.t * int Kappa_data_structures.Mods.IntMap.t) -> abstract action -> concrete action
Sourceval try_concretize_action : debug_mode:bool -> (Matching.t * int Kappa_data_structures.Mods.IntMap.t) -> abstract action -> concrete action option

Same than concretize_action, except that it returns None if the provided injection's domain does not contain a fresh agent that is involved in the action that is being concretized.

Sourceval concretize_event : debug_mode:bool -> (Matching.t * int Kappa_data_structures.Mods.IntMap.t) -> abstract event -> concrete event
Sourceval matching_abstract_concrete : debug_mode:bool -> abstract event -> concrete event -> Kappa_data_structures.Renaming.t option
Sourceval subst_map_agent_in_concrete_test : (int -> int) -> concrete test -> concrete test
Sourceval subst_agent_in_concrete_test : int -> int -> concrete test -> concrete test
Sourceval subst_map_agent_in_concrete_action : (int -> int) -> concrete action -> concrete action
Sourceval subst_agent_in_concrete_action : int -> int -> concrete action -> concrete action
Sourceval subst_map_agent_in_concrete_side_effect : (int -> int) -> (concrete site * concrete binding_state) -> concrete site * concrete binding_state
Sourceval subst_agent_in_concrete_side_effect : int -> int -> (concrete site * concrete binding_state) -> concrete site * concrete binding_state
Sourceval subst_map_agent_in_concrete_event : (int -> int) -> concrete event -> concrete event
Sourceval subst_map2_agent_in_concrete_event : (int -> int) -> (int -> int) -> concrete event -> concrete event
Sourceval subst_agent_in_concrete_event : int -> int -> concrete event -> concrete event
Sourceval print_concrete_test : ?sigs:Kappa_site_graphs.Signature.s -> Format.formatter -> concrete test -> unit
Sourceval print_concrete_action : ?sigs:Kappa_site_graphs.Signature.s -> Format.formatter -> concrete action -> unit
Sourceval print_concrete_binding_state : ?sigs:Kappa_site_graphs.Signature.s -> Format.formatter -> concrete binding_state -> unit
Sourceval json_dictionnary : string
Sourceval test_to_json : ('a -> Yojson.Basic.t) -> 'a test -> Yojson.Basic.t
Sourceval test_of_json : (Yojson.Basic.t -> 'a) -> Yojson.Basic.t -> 'a test
Sourceval write_test : (Buffer.t -> 'a -> unit) -> Buffer.t -> 'a test -> unit
Sourceval read_test : (Yojson.Basic.lexer_state -> Lexing.lexbuf -> 'a) -> Yojson.Basic.lexer_state -> Lexing.lexbuf -> 'a test
Sourceval action_to_json : ('a -> Yojson.Basic.t) -> 'a action -> Yojson.Basic.t
Sourceval action_of_json : (Yojson.Basic.t -> 'a) -> Yojson.Basic.t -> 'a action
Sourceval write_action : (Buffer.t -> 'a -> unit) -> Buffer.t -> 'a action -> unit
Sourceval read_action : (Yojson.Basic.lexer_state -> Lexing.lexbuf -> 'a) -> Yojson.Basic.lexer_state -> Lexing.lexbuf -> 'a action
Sourceval event_to_json : ('a -> Yojson.Basic.t) -> 'a event -> Yojson.Basic.t
Sourceval event_of_json : (Yojson.Basic.t -> 'a) -> Yojson.Basic.t -> 'a event
Sourceval write_event : (Buffer.t -> 'a -> unit) -> Buffer.t -> 'a event -> unit
Sourceval read_event : (Yojson.Basic.lexer_state -> Lexing.lexbuf -> 'a) -> Yojson.Basic.lexer_state -> Lexing.lexbuf -> 'a event