KaSim
  1. Overview
  2. Docs
package KaSim
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
type mod_ccs_cache = (int, unit) Hashtbl.t
val empty : Model.t -> t
val incorporate_extra_pattern : t -> Pattern.id -> IntCollection.t -> unit
val break_apart_cc : t -> Edges.t -> mod_ccs_cache -> (int * int) option -> t
val merge_cc : t -> mod_ccs_cache -> (int * int) option -> t
val update_roots : t -> bool -> Pattern.Set.t -> Edges.t -> mod_ccs_cache -> Pattern.Set.elt -> int -> unit
val number : t -> Pattern.id -> int
val debug_print : Format.formatter -> t -> unit
val of_pattern : Pattern.id -> t -> IntCollection.t
val of_unary_pattern : Pattern.id -> t -> Mods.IntSet.t Mods.IntMap.t