package molenc

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module A = BatArray

module IntSet = BatSet.Int

module L = BatList

module StringMap = BatMap.String

type t = {

}

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