package molenc

  1. Overview
  2. Docs
module A = BatArray
module IntSet = BatSet.Int
module Ht = BatHashtbl
module L = BatList
module StringMap = BatMap.String
type t = {
  1. name : string;
  2. graph : Node.t array;
  3. diameter : int;
  4. matrix : int array array;
}
val get_name : t -> string
val get_graph : t -> Node.t array
val nb_atoms : t -> int
val create : string -> Node.t array -> int -> int array array -> t
val get_typ : t -> int -> PiEltHA.t
val get_succs : t -> int -> Molenc.Node.IntSet.t
val types_at_distance : int -> int -> t -> int * (PiEltHA.t * int) list
val encode : int -> t -> (Atom_env.t * int) list
val atom_pairs : t -> (Atom_pair.t * int) list