Up  

Functor Subgraph.Make

module Make: 
functor (G : sig
include Graph.Sig.G

Graph datastructure

val create : ?size:int -> unit -> t
val add_edge_e : t -> E.t -> unit
end) -> 
functor (D : Datatype.S  with type t = G.t) -> 
functor (Info : sig
val self : State.t

additional information

val name : string

name of the state

val get : unit -> G.t
val vertex : Kernel_function.t -> G.V.t
end) -> sig .. end
Parameters:
G : sig (** Graph datastructure *) include Graph.Sig.G val create: ?size:int -> unit -> t val add_edge_e: t -> E.t -> unit end
D : Datatype.S with type t = G.t
Info : sig (** additional information *) val self: State.t val name: string (** name of the state *) val get: unit -> G.t val vertex: Kernel_function.t -> G.V.t end 
val get : unit -> G.t
val self : State.t