Module Kappa_terms.Matching

type t
type matching = t
val empty : t
val debug_print : Format.formatter -> t -> unit
val get : debugMode:bool -> (Kappa_mixtures.Agent.t * int) -> t -> int
val reconstruct_renaming : debugMode:bool -> Pattern.Env.t -> Kappa_mixtures.Edges.t -> Pattern.id -> int -> Kappa_generic_toolset.Renaming.t

reconstruct_renaming domain graph cc root

val reconstruct : debugMode:bool -> Pattern.Env.t -> Kappa_mixtures.Edges.t -> t -> int -> Pattern.id -> int -> t option

reconstruct domain graph matching_of_previous_cc cc_id_in_rule cc root

val add_cc : t -> int -> Kappa_generic_toolset.Renaming.t -> t option
val is_root_of : debugMode:bool -> Pattern.Env.t -> Kappa_mixtures.Edges.t -> Kappa_mixtures.Agent.t -> Pattern.id -> bool
val roots_of : debugMode:bool -> Pattern.Env.t -> Kappa_mixtures.Edges.t -> Pattern.id -> Kappa_generic_toolset.IntCollection.t
val elements_with_types : Pattern.Env.t -> Pattern.id array -> t -> Kappa_mixtures.Agent.t list array
type cache
val empty_cache : cache
val observables_from_agent : Pattern.Env.t -> Kappa_mixtures.Edges.t -> (((Pattern.id * (int * int)) list * Kappa_generic_toolset.Operator.DepSet.t) * cache) -> Kappa_mixtures.Agent.t -> ((Pattern.id * (int * int)) list * Kappa_generic_toolset.Operator.DepSet.t) * cache

observables_from_free domain graph sort agent the int * int in the return list and the following ones is a Instantiation.concrete

val observables_from_free : debugMode:bool -> Pattern.Env.t -> Kappa_mixtures.Edges.t -> (((Pattern.id * (int * int)) list * Kappa_generic_toolset.Operator.DepSet.t) * cache) -> Kappa_mixtures.Agent.t -> int -> ((Pattern.id * (int * int)) list * Kappa_generic_toolset.Operator.DepSet.t) * cache

observables_from_free domain graph sort agent site

val observables_from_internal : debugMode:bool -> Pattern.Env.t -> Kappa_mixtures.Edges.t -> (((Pattern.id * (int * int)) list * Kappa_generic_toolset.Operator.DepSet.t) * cache) -> Kappa_mixtures.Agent.t -> int -> int -> ((Pattern.id * (int * int)) list * Kappa_generic_toolset.Operator.DepSet.t) * cache

observables_from_internal domain graph sort agent site internal_state

observables_from_link domain graph sort ag site sort' ag' site'

module Agent : sig ... end