module type EDGE_TYPE = sig
.. end
The output signature of Make
.
include X.X_TYPE
The following list summarizes the function in X.X_TYPE
.
- Type
t
is a record, i.e. edges have type {origin:node;terminus:node;label:label}
.
name
is "Edge"
.
compare
is compare
.
pair e1 e2
returns an edge formed by pairing its components.
of_string
returns an edge from its string representation. The
left brace/tag and right brace/tag of the string are given by the the
functions D.lb
and D.rb
. These can be empty strings. The
components of the edge will be delimited by D.delim
which cannot
be empty.
to_string
returns a string representation of an edge.
print
prints an edge followed by an endline.
print_
prints an edge but no endline.
type
node
The vertex of an edge has this type.
type
label
The label of an edge has this type.
val origin : t -> node
Returns the origin of an edge.
val terminus : t -> node
Returns the terminus of an edge.
val label : t -> label
Returns the label of an edge.
val make : node -> node -> label -> t
make o t l
Returns an edge where the origin is o
, the terminus is
t
and the label is l
.
val label_compare : label -> label -> int
This is the compare function for labels. I.e. Edge.label_compare =
Label.compare
.
val to_dotstring : t -> string
This function returns a string representation of the edge that can be interpreted by AT&T's
Graphviz drawing
program.