Roots (kappa-library.Kappa

type t

type mod_ccs_cache = (int, unit) Stdlib.Hashtbl.t

val empty : Kappa_terms.Model.t -> t

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

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

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

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

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

val debug_print : Stdlib.Format.formatter -> t -> unit

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

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