Kappa_terms.Pattern_compilerKappa pattern compiler
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)
listval 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))
* bool)
list
* (Pattern.PreEnv.t * Kappa_data_structures.Operator.rev_dep option)val lkappa_of_elementary_rule :
Kappa_site_graphs.Signature.s ->
Pattern.Env.t ->
Primitives.elementary_rule ->
LKappa.rule_mixture * Raw_mixture.t