Functor Oper.Neighbourhood

module Neighbourhood: 
functor (G : sig
type t 
module V: Sig.COMPARABLE 
val fold_succ : (V.t -> 'a -> 'a) -> t -> V.t -> 'a -> 'a
val succ : t -> V.t -> V.t list
end) -> sig .. end

Neighbourhood of vertex / vertices

Parameters:
G : sig type t module V : Sig.COMPARABLE val fold_succ: (V.t -> 'a -> 'a) -> t -> V.t -> 'a -> 'a val succ: t -> V.t -> V.t list end

module Vertex_Set: Set.S  with type elt = G.V.t

The neighbourhood of a vertex v is { v' | (succ g v) and (v <> v') }

val list_from_vertex : G.t -> G.V.t -> G.V.t list

Neighbourhood of a vertex as a list.

val set_from_vertex : G.t -> G.V.t -> Vertex_Set.t

Neighbourhood of a vertex as a set. Less efficient that list_from_vertex.

The neighbourhood of a set S of vertices is U \ S where U is the union of neighbourhoods of each vertex of S.

val list_from_vertices : G.t -> G.V.t list -> G.V.t list

Neighbourhood of a list of vertices as a list.

val set_from_vertices : G.t -> G.V.t list -> Vertex_Set.t

Neighbourhood of a list of vertices as a set. More efficient that list_from_vertices.