package KaSim

  1. Overview
  2. Docs
package KaSim
Legend:
Library
Module
Module type
Parameter
Class
Class type
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_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