package kappa-library

  1. Overview
  2. Docs
package kappa-library
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct