DotG.E
Edges have type E.t
and are labeled with type E.label
. src
(resp. dst
) returns the origin (resp. the destination) of a given edge.
Edges are ORDERED_TYPE
.
Edges are directed.
type vertex = vertex
Edges are labeled.
type label = XDot.edge_layout
create v1 l v2
creates an edge from v1
to v2
with label l