Module MultiGraph.G.Vertex


module Vertex: sig .. end
Module to manage vertices. Vertices are values of type Vertex.t and are shared by all multi-graphs.

include Print.PRINTABLE_TYPE
The printable type of vertices.
module Label: Print.PRINTABLE_TYPE 
The printable type of vertex labels.
val create : Label.t -> t
create l creates a new vertex labeled with l. The resulting vertex is distinct (w.r.t. to the equality predicate below) from all other vertices managed by this module.
val lbl : t -> Label.t
lbl v returns the label of the vertex v.

Vertices are ordered (see Set.OrderedType or Map.OrderedType) and hashable (see Hashtbl.HashedType).
val compare : t -> t -> int
Total ordering over vertices.
val equal : t -> t -> bool
equal v1 v2 tests whether v1 and v2 are the same vertex, i.e. represent the same element in the set of vertices. There may be multiple vertices with the same label.
val hash : t -> int
Hashing function on vertices.