package lbvs_consent

  1. Overview
  2. Docs
package lbvs_consent
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Lbvs_consent.Mini_molSource

module A = BatArray
module IntSet = BatSet.Int
Sourcemodule L = MyList
module StringMap = BatMap.String
Sourcetype t = {
  1. name : string;
  2. graph : Node.t array;
}
Sourceval get_name : t -> string
Sourceval get_graph : t -> Node.t array
Sourceval create : string -> Node.t array -> t
Sourceval to_string : t -> string
Sourceval get_typ : t -> int -> string
Sourceval get_succs : t -> int -> Lbvs_consent.Node.IntSet.t
Sourceval mop2d_encode : t -> Mop2d_env.t list