package molenc

  1. Overview
  2. Docs

Module Molenc.Mini_molSource

module A = BatArray
Sourcemodule IntSet = BatSet.Int
module L = BatList
Sourcemodule StringMap = BatMap.String
Sourcetype t = {
  1. name : string;
  2. graph : Node.t array;
  3. diameter : int;
  4. matrix : int array array;
}
Sourceval get_name : t -> string
Sourceval get_graph : t -> Node.t array
Sourceval nb_atoms : t -> int
Sourceval create : string -> Node.t array -> int -> int array array -> t
Sourceval get_typ : t -> int -> PiEltHA.t
Sourceval get_succs : t -> int -> Molenc.Node.IntSet.t
Sourceval types_at_distance : int -> int -> t -> int * (PiEltHA.t * int) list
Sourceval encode : int -> t -> (Atom_env.t * int) list
OCaml

Innovation. Community. Security.