Module MultiGraph.G.Vertex
module Vertex:Module to manage vertices. Vertices are values of typesig
..end
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.