Module Kappa_runtime.Roots

type t
type mod_ccs_cache = (int, unit) Hashtbl.t
val empty : Kappa_terms.Model.t -> t
val incorporate_extra_pattern : t -> Kappa_terms.Pattern.id -> Kappa_generic_toolset.IntCollection.t -> unit
val break_apart_cc : t -> Kappa_mixtures.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_mixtures.Edges.t -> mod_ccs_cache -> Kappa_terms.Pattern.id -> int -> unit
val number : t -> Kappa_terms.Pattern.id -> int
val debug_print : Format.formatter -> t -> unit
val of_pattern : Kappa_terms.Pattern.id -> t -> Kappa_generic_toolset.IntCollection.t
val of_unary_pattern : Kappa_terms.Pattern.id -> t -> Kappa_generic_toolset.Mods.IntSet.t Kappa_generic_toolset.Mods.IntMap.t