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/Pattern_compiler/index.html
Module Kappa_terms.Pattern_compilerSource
Kappa pattern compiler
Source
val connected_components_sum_of_ambiguous_mixture :
debug_mode:bool ->
compile_mode_on:bool ->
Contact_map.t ->
Pattern.PreEnv.t ->
?origin:Kappa_data_structures.Operator.rev_dep ->
LKappa.rule_mixture ->
Pattern.PreEnv.t
* ((Pattern.id * Pattern.cc) array
* Instantiation.abstract Instantiation.test list list)
listSource
val connected_components_sum_of_ambiguous_rule :
debug_mode:bool ->
compile_mode_on:bool ->
Contact_map.t ->
Pattern.PreEnv.t ->
?origin:Kappa_data_structures.Operator.rev_dep ->
LKappa.rule_mixture ->
Raw_mixture.t ->
(Kappa_data_structures.Operator.rev_dep option
* (Pattern.id * Pattern.cc) array
* Instantiation.abstract Instantiation.event
* (Instantiation.abstract Primitives.Transformation.t list
* Instantiation.abstract Primitives.Transformation.t list))
list
* (Pattern.PreEnv.t * Kappa_data_structures.Operator.rev_dep option)Source
val lkappa_of_elementary_rule :
Kappa_site_graphs.Signature.s ->
Pattern.Env.t ->
Primitives.elementary_rule ->
LKappa.rule_mixture * Raw_mixture.t