package lbvs_consent

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