package KaSim

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type link =

type cc

type t = cc

type id

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

module ObsMap : sig ... end

module Env : sig ... end

module PreEnv : sig ... end

type work

val empty_cc : Signature.s -> cc

val begin_new : PreEnv.t -> work

val new_node : work -> int -> Agent.t * work

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

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

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

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

val compare_canonicals : id -> id -> int

val is_equal_canonicals : id -> id -> bool

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

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

val id_to_yojson : id -> Yojson.Basic.json

val id_of_yojson : Yojson.Basic.json -> id

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

val find_ty : cc -> int -> int

val automorphisms : t -> Renaming.t list

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

val size_of_cc : cc -> int

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

val finalize : 
  max_sharing:bool ->
  PreEnv.t ->
  Contact_map.t ->
  Env.t * PreEnv.stat

val infs : t -> t -> t list

val matchings : t -> t -> Renaming.t list

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

val length : t -> int

module Set : sig ... end