package kappa-library
Public internals of the Kappa tool suite. Use this package to use kappa as a lib
Install
Dune Dependency
Authors
Maintainers
Sources
v4.1.3.tar.gz
md5=1c9a8a0d79f085757817f90834e166f5
sha512=13ac40442940ba6e72d7dc5bf952e67443872f7bff63e9c76a3a699a6904c88696047fe04519b7ec6546371642f6ee7b0983117be302694aca15500b0df40de3
doc/kappa-library.terms/Kappa_terms/Matching/index.html
Module Kappa_terms.MatchingSource
Injection from a pattern in the mixture
Source
val reconstruct_renaming :
debug_mode:bool ->
Pattern.Env.t ->
Kappa_site_graphs.Edges.t ->
Pattern.id ->
int ->
Kappa_data_structures.Renaming.treconstruct_renaming domain graph cc root
Source
val reconstruct :
debug_mode:bool ->
Pattern.Env.t ->
Kappa_site_graphs.Edges.t ->
t ->
int ->
Pattern.id ->
int ->
t optionreconstruct domain graph matching_of_previous_cc cc_id_in_rule cc root
Source
val is_root_of :
debug_mode:bool ->
Pattern.Env.t ->
Kappa_site_graphs.Edges.t ->
Kappa_site_graphs.Agent.t ->
Pattern.id ->
boolSource
val roots_of :
debug_mode:bool ->
Pattern.Env.t ->
Kappa_site_graphs.Edges.t ->
Pattern.id ->
Kappa_data_structures.IntCollection.tSource
val elements_with_types :
Pattern.Env.t ->
Pattern.id array ->
t ->
Kappa_site_graphs.Agent.t list arraySource
val observables_from_agent :
Pattern.Env.t ->
Kappa_site_graphs.Edges.t ->
(((Pattern.id * (int * int)) list * Kappa_data_structures.Operator.DepSet.t)
* cache) ->
Kappa_site_graphs.Agent.t ->
((Pattern.id * (int * int)) list * Kappa_data_structures.Operator.DepSet.t)
* cacheobservables_from_free domain graph sort agent the int * int in the return list and the following ones is a Instantiation.concrete
Source
val observables_from_free :
debug_mode:bool ->
Pattern.Env.t ->
Kappa_site_graphs.Edges.t ->
(((Pattern.id * (int * int)) list * Kappa_data_structures.Operator.DepSet.t)
* cache) ->
Kappa_site_graphs.Agent.t ->
int ->
((Pattern.id * (int * int)) list * Kappa_data_structures.Operator.DepSet.t)
* cacheobservables_from_free domain graph sort agent site
Source
val observables_from_internal :
debug_mode:bool ->
Pattern.Env.t ->
Kappa_site_graphs.Edges.t ->
(((Pattern.id * (int * int)) list * Kappa_data_structures.Operator.DepSet.t)
* cache) ->
Kappa_site_graphs.Agent.t ->
int ->
int ->
((Pattern.id * (int * int)) list * Kappa_data_structures.Operator.DepSet.t)
* cacheobservables_from_internal domain graph sort agent site internal_state
Source
val observables_from_link :
debug_mode:bool ->
Pattern.Env.t ->
Kappa_site_graphs.Edges.t ->
(((Pattern.id * (int * int)) list * Kappa_data_structures.Operator.DepSet.t)
* cache) ->
Kappa_site_graphs.Agent.t ->
int ->
Kappa_site_graphs.Agent.t ->
int ->
((Pattern.id * (int * int)) list * Kappa_data_structures.Operator.DepSet.t)
* cacheobservables_from_link domain graph sort ag site sort' ag' site'