Roots (p.kappa-library.4.1.3.doc.kappa-library.runtime.Kappa

Sourcetype t

Sourcetype mod_ccs_cache = (int, unit) Hashtbl.t

Sourceval empty : Kappa_terms.Model.t -> t

val incorporate_extra_pattern : 
  t ->
  Kappa_terms.Pattern.id ->
  Kappa_data_structures.IntCollection.t ->
  unit

Source

val break_apart_cc : 
  t ->
  Kappa_site_graphs.Edges.t ->
  ?mod_connectivity_store:mod_ccs_cache ->
  (int * int) option ->
  unit

Source

val merge_cc : 
  t ->
  ?mod_connectivity_store:mod_ccs_cache ->
  (int * int) option ->
  unit

Source

val update_roots : 
  t ->
  bool ->
  Kappa_terms.Pattern.Set.t ->
  Kappa_site_graphs.Edges.t ->
  mod_ccs_cache ->
  Kappa_terms.Pattern.id ->
  int ->
  unit

Sourceval number : t -> Kappa_terms.Pattern.id -> int

Sourceval debug_print : Format.formatter -> t -> unit

Source

val of_pattern : 
  Kappa_terms.Pattern.id ->
  t ->
  Kappa_data_structures.IntCollection.t

Source

val of_unary_pattern : 
  Kappa_terms.Pattern.id ->
  t ->
  Kappa_data_structures.Mods.IntSet.t Kappa_data_structures.Mods.IntMap.t