Module `Kappa_terms.Pattern`Source

Domain to navigate in the graph

Sourcetype link =

| UnSpec
| Free
| Link of int * int

Sourcetype cc

Sourcetype t = cc

type for domain points

Sourcetype id

Sourceval debug_print_id : Format.formatter -> id -> unit

Sourcemodule ObsMap : sig ... end

Maps from patterns to something

Sourcemodule Env : sig ... end

Sourcemodule PreEnv : sig ... end

Sourcetype work

Create a connected component

type of a PreEnv during a pattern construction

Sourceval empty_cc : Kappa_site_graphs.Signature.s -> cc

Sourceval begin_new : PreEnv.t -> work

Starts creation

Sourceval new_node : work -> int -> Kappa_site_graphs.Agent.t * work

new_node wk node_type

Source

val new_link : 
  work ->
  (Kappa_site_graphs.Agent.t * int) ->
  (Kappa_site_graphs.Agent.t * int) ->
  work

new_link wk (node, site_id) (node', site_id')

Sourceval new_free : work -> (Kappa_site_graphs.Agent.t * int) -> work

Source

val new_internal_state : 
  work ->
  (Kappa_site_graphs.Agent.t * int) ->
  int ->
  work

new_link_type work (node,site) type

Source

val finish_new : 
  debug_mode:bool ->
  ?origin:Kappa_data_structures.Operator.rev_dep ->
  work ->
  PreEnv.t * Kappa_data_structures.Renaming.t * cc * id

Use a connected component

Sourceval compare_canonicals : id -> id -> int

Sourceval is_equal_canonicals : id -> id -> bool

Source

val print_cc : 
  noCounters:bool ->
  ?dotnet:bool ->
  ?full_species:bool ->
  ?sigs:Kappa_site_graphs.Signature.s ->
  ?counters_info:Kappa_site_graphs.Counters_info.t ->
  ?cc_id:id ->
  with_id:bool ->
  Format.formatter ->
  t ->
  unit

Source

val print_cc_as_id : 
  Kappa_site_graphs.Signature.s ->
  Kappa_site_graphs.Counters_info.t ->
  Format.formatter ->
  t ->
  unit

Source

val print : 
  noCounters:bool ->
  ?domain:Env.t ->
  with_id:bool ->
  Format.formatter ->
  id ->
  unit

print ~domain ?with_id:None form cc

Sourceval id_to_yojson : id -> Yojson.Basic.t

Sourceval id_of_yojson : Yojson.Basic.t -> id

Source

val reconstruction_navigation : 
  t ->
  Kappa_site_graphs.Navigation.abstract Kappa_site_graphs.Navigation.t

Sourceval find_ty : cc -> int -> int

Abstraction leak, please do not use

Source

val automorphisms : 
  debug_mode:bool ->
  t ->
  Kappa_data_structures.Renaming.t list

Source

val embeddings_to_fully_specified : 
  debug_mode:bool ->
  Env.t ->
  id ->
  cc ->
  Kappa_data_structures.Renaming.t list

Sourceval size_of_cc : cc -> int

Source

val fold_by_type : 
  (pos:int -> agent_type:int -> (link * int) array -> 'a -> 'a) ->
  cc ->
  'a ->
  'a

USE WITH CARE: Break some abstraction. The array must not be modified and internal state -1 means unspecified

Sourceval fold : (int -> (link * int) array -> 'acc -> 'acc) -> cc -> 'acc -> 'acc

USE WITH CARE: Break some abstraction. The array must not be modified and internal state -1 means unspecified

Sourcetype sharing_level =

| No_sharing
| Compatible_patterns
| Max_sharing
(*
Heuristic to use on domain construction
*)

Sourceval write_sharing_level : Buffer.t -> sharing_level -> unit

Output a JSON value of type sharing_level.

Sourceval string_of_sharing_level : ?len:int -> sharing_level -> string

Serialize a value of type sharing_level into a JSON string.

parameter len
specifies the initial length of the buffer used internally. Default: 1024.

Source

val read_sharing_level : 
  Yojson.Safe.lexer_state ->
  Lexing.lexbuf ->
  sharing_level

Input JSON data of type sharing_level.

Sourceval sharing_level_of_string : string -> sharing_level

Deserialize JSON data of type sharing_level.

Source

val finalize : 
  debug_mode:bool ->
  sharing:sharing_level ->
  PreEnv.t ->
  Contact_map.t ->
  Env.t * PreEnv.stat

Sourceval infs : debug_mode:bool -> Kappa_site_graphs.Signature.s -> t -> t -> t list

Source

val matchings : 
  debug_mode:bool ->
  Kappa_site_graphs.Signature.s ->
  t ->
  t ->
  Kappa_data_structures.Renaming.t list

Source

val merge_on_inf : 
  debug_mode:bool ->
  PreEnv.t ->
  Kappa_data_structures.Renaming.t ->
  t ->
  t ->
  t option * (t * int * t * int * int * bool) option

Sourceval length : t -> int

Sourcemodule Set : Kappa_data_structures.SetMap.Set with type elt = id

Sourcemodule Map : Kappa_data_structures.SetMap.Map with type elt = id

Source

val counter_value_cc : 
  Kappa_site_graphs.Signature.s option ->
  Kappa_site_graphs.Counters_info.counter_sig ->
  cc ->
  (Kappa_data_structures.Mods.IntMap.elt * int) ->
  int

Install

Dune Dependency

Authors

Maintainers

Sources

doc/kappa-library.terms/Kappa_terms/Pattern/index.html

Module `Kappa_terms.Pattern`Source

Use a connected component

package kappa-library

Install

Dune Dependency

Authors

Maintainers

Sources

doc/kappa-library.terms/Kappa_terms/Pattern/index.html

Module Kappa_terms.PatternSource

Use a connected component

Module `Kappa_terms.Pattern`Source