Module Subgraph

module Subgraph: sig .. end

Subgraph from a given vertex


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