Module Kappa_terms.PatternSource

Domain to navigate in the graph

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 begin_new : PreEnv.t -> work

Starts creation

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

new_node wk node_type

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

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

new_link_type work (node,site) type

Use a connected component

Sourceval compare_canonicals : id -> id -> int
Sourceval is_equal_canonicals : id -> id -> bool
Sourceval 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
Sourceval 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
Sourceval find_ty : cc -> int -> int

Abstraction leak, please do not use

Sourceval automorphisms : debug_mode:bool -> t -> Kappa_data_structures.Renaming.t list
Sourceval embeddings_to_fully_specified : debug_mode:bool -> Env.t -> id -> cc -> Kappa_data_structures.Renaming.t list
Sourceval size_of_cc : cc -> int
Sourceval 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 =
  1. | No_sharing
  2. | Compatible_patterns
  3. | 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.

Sourceval 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.

Sourceval 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
Sourceval matchings : debug_mode:bool -> Kappa_site_graphs.Signature.s -> t -> t -> Kappa_data_structures.Renaming.t list
Sourceval 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