Module `Kappa_terms.Instantiation`Source

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

Sourcetype concrete = Kappa_site_graphs.Agent.t

in a simulation state

Sourcetype 'a site = 'a * site_name

Sourcetype 'a test =

| Is_Here of 'a
| Has_Internal of 'a site * internal_state
| Is_Free of 'a site
| Is_Bound of 'a site
| Has_Binding_type of 'a site * binding_type
| Is_Bound_to of 'a site * 'a site

Sourcetype 'a action =

| Create of 'a * (site_name * internal_state option) list
| Mod_internal of 'a site * internal_state
| Bind of 'a site * 'a site
| Bind_to of 'a site * 'a site
| Free of 'a site
| Remove of 'a

Sourceval sort_concrete_action_list : concrete action list -> concrete action list

Source

val sort_concrete_action_list_reverse : 
  concrete action list ->
  concrete action list

Sourceval sort_abstract_action_list : concrete action list -> concrete action list

Source

val sort_abstract_action_list_reverse : 
  concrete action list ->
  concrete action list

Sourcetype 'a binding_state =

| ANY
| FREE
| BOUND
| BOUND_TYPE of binding_type
| BOUND_to of 'a site

Sourcetype 'a event = {

tests : 'a test list list;
(*
The tests written in the rule (pattern by pattern)
*)
actions : 'a action list;
(*
The modifications written in the rule
*)
side_effects_src : ('a site * 'a binding_state) list;
(*
the site of the agents mentioned in the rule where there is a side effects
*)
side_effects_dst : 'a site list;
(*
the site of agents not mentionned in the rule that have been freed by side effect
*)
connectivity_tests : 'a test list;
(*
witness that patterns where connected (unary instances only of course)
*)

}

Sourceval empty_event : 'a event

Source

val rename_abstract_test : 
  debug_mode:bool ->
  int ->
  Kappa_data_structures.Renaming.t ->
  abstract test ->
  abstract test

Source

val rename_abstract_action : 
  debug_mode:bool ->
  int ->
  Kappa_data_structures.Renaming.t ->
  abstract action ->
  abstract action

Source

val rename_abstract_event : 
  debug_mode:bool ->
  int ->
  Kappa_data_structures.Renaming.t ->
  abstract event ->
  abstract event

Source

val 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

Source

val concretize_test : 
  debug_mode:bool ->
  (Matching.t * int Kappa_data_structures.Mods.IntMap.t) ->
  abstract test ->
  concrete test

Source

val concretize_action : 
  debug_mode:bool ->
  (Matching.t * int Kappa_data_structures.Mods.IntMap.t) ->
  abstract action ->
  concrete action

Source

val 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.

Source

val concretize_event : 
  debug_mode:bool ->
  (Matching.t * int Kappa_data_structures.Mods.IntMap.t) ->
  abstract event ->
  concrete event

Source

val matching_abstract_concrete : 
  debug_mode:bool ->
  abstract event ->
  concrete event ->
  Kappa_data_structures.Renaming.t option

Source

val subst_map_agent_in_concrete_test : 
  (int -> int) ->
  concrete test ->
  concrete test

Sourceval subst_agent_in_concrete_test : int -> int -> concrete test -> concrete test

Source

val subst_map_agent_in_concrete_action : 
  (int -> int) ->
  concrete action ->
  concrete action

Source

val subst_agent_in_concrete_action : 
  int ->
  int ->
  concrete action ->
  concrete action

Source

val subst_map_agent_in_concrete_side_effect : 
  (int -> int) ->
  (concrete site * concrete binding_state) ->
  concrete site * concrete binding_state

Source

val subst_agent_in_concrete_side_effect : 
  int ->
  int ->
  (concrete site * concrete binding_state) ->
  concrete site * concrete binding_state

Source

val subst_map_agent_in_concrete_event : 
  (int -> int) ->
  concrete event ->
  concrete event

Source

val subst_map2_agent_in_concrete_event : 
  (int -> int) ->
  (int -> int) ->
  concrete event ->
  concrete event

Source

val subst_agent_in_concrete_event : 
  int ->
  int ->
  concrete event ->
  concrete event

Source

val print_concrete_test : 
  ?sigs:Kappa_site_graphs.Signature.s ->
  Format.formatter ->
  concrete test ->
  unit

Source

val print_concrete_action : 
  ?sigs:Kappa_site_graphs.Signature.s ->
  Format.formatter ->
  concrete action ->
  unit

Source

val 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

Source

val 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

Source

val 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

Source

val read_event : 
  (Yojson.Basic.lexer_state -> Lexing.lexbuf -> 'a) ->
  Yojson.Basic.lexer_state ->
  Lexing.lexbuf ->
  'a event

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Kappa_terms.Instantiation`Source

package kappa-library

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Kappa_terms.InstantiationSource

Module `Kappa_terms.Instantiation`Source