Matching (p.kappa-library.4.1.3.doc.kappa-library.terms.Kappa

Sourcetype t

Sourcetype matching = t

Sourceval empty : t

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

Sourceval get : debug_mode:bool -> (Kappa_site_graphs.Agent.t * int) -> t -> int

val reconstruct_renaming : 
  debug_mode:bool ->
  Pattern.Env.t ->
  Kappa_site_graphs.Edges.t ->
  Pattern.id ->
  int ->
  Kappa_data_structures.Renaming.t

reconstruct_renaming domain graph cc root

Source

val reconstruct : 
  debug_mode:bool ->
  Pattern.Env.t ->
  Kappa_site_graphs.Edges.t ->
  t ->
  int ->
  Pattern.id ->
  int ->
  t option

reconstruct domain graph matching_of_previous_cc cc_id_in_rule cc root

Sourceval add_cc : t -> int -> Kappa_data_structures.Renaming.t -> t option

Source

val is_root_of : 
  debug_mode:bool ->
  Pattern.Env.t ->
  Kappa_site_graphs.Edges.t ->
  Kappa_site_graphs.Agent.t ->
  Pattern.id ->
  bool

Source

val roots_of : 
  debug_mode:bool ->
  Pattern.Env.t ->
  Kappa_site_graphs.Edges.t ->
  Pattern.id ->
  Kappa_data_structures.IntCollection.t

Source

val elements_with_types : 
  Pattern.Env.t ->
  Pattern.id array ->
  t ->
  Kappa_site_graphs.Agent.t list array

Sourcetype cache

Sourceval empty_cache : cache

Source

val observables_from_agent : 
  Pattern.Env.t ->
  Kappa_site_graphs.Edges.t ->
  (((Pattern.id * (int * int)) list * Kappa_data_structures.Operator.DepSet.t)
   * cache) ->
  Kappa_site_graphs.Agent.t ->
  ((Pattern.id * (int * int)) list * Kappa_data_structures.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

Source

val observables_from_free : 
  debug_mode:bool ->
  Pattern.Env.t ->
  Kappa_site_graphs.Edges.t ->
  (((Pattern.id * (int * int)) list * Kappa_data_structures.Operator.DepSet.t)
   * cache) ->
  Kappa_site_graphs.Agent.t ->
  int ->
  ((Pattern.id * (int * int)) list * Kappa_data_structures.Operator.DepSet.t)
  * cache

observables_from_free domain graph sort agent site

Source

val observables_from_internal : 
  debug_mode:bool ->
  Pattern.Env.t ->
  Kappa_site_graphs.Edges.t ->
  (((Pattern.id * (int * int)) list * Kappa_data_structures.Operator.DepSet.t)
   * cache) ->
  Kappa_site_graphs.Agent.t ->
  int ->
  int ->
  ((Pattern.id * (int * int)) list * Kappa_data_structures.Operator.DepSet.t)
  * cache

observables_from_internal domain graph sort agent site internal_state

Source

val observables_from_link : 
  debug_mode:bool ->
  Pattern.Env.t ->
  Kappa_site_graphs.Edges.t ->
  (((Pattern.id * (int * int)) list * Kappa_data_structures.Operator.DepSet.t)
   * cache) ->
  Kappa_site_graphs.Agent.t ->
  int ->
  Kappa_site_graphs.Agent.t ->
  int ->
  ((Pattern.id * (int * int)) list * Kappa_data_structures.Operator.DepSet.t)
  * cache

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

Sourcemodule Agent : sig ... end

An agent in a connected component