Author(s): F. Bueno.
Version: 1.7#194 (2002/4/4, 21:8:41 CEST)
Version of last change: 1.5#83 (2000/3/23, 19:23:58 CET)
graphs
)graphs
)
dgraph(Graph)
A directed graph is a term graph(V,E)
where V
is a list of vertices and E
is a list of edges (none necessarily sorted). Edges are pairs of vertices which are directed, i.e., (a,b)
represents a->b
. Two vertices a
and b
are equal only if a==b
.
Usage: dgraph(Graph)
Graph
is a directed graph.
dlgraph(Graph)
A labeled directed graph is a directed graph where edges are triples of the form (a,l,b)
where l
is the label of the edge (a,b)
.
Usage: dlgraph(Graph)
Graph
is a directed labeled graph.
Usage: dgraph_to_ugraph(+Graph,-UGraph)
Graph
to UGraph
.
+Graph
is a directed graph.
(graphs:dgraph/1
)
-UGraph
is a free variable.
(term_typing:var/1
)
+Graph
is a directed graph.
(graphs:dgraph/1
)
-UGraph
is an ugraph.
(ugraphs:ugraph/1
)
Usage: dlgraph_to_lgraph(+Graph,-LGraph)
Edges
to LGraph
.
+Graph
is a directed labeled graph.
(graphs:dlgraph/1
)
-LGraph
is a free variable.
(term_typing:var/1
)
+Graph
is a directed labeled graph.
(graphs:dlgraph/1
)
-LGraph
is a labeled graph of term
terms.
(lgraphs:lgraph/2
)
Usage: edges_to_ugraph(+Edges,-UGraph)
Graph
to UGraph
.
+Edges
is a list of pair
s.
(basic_props:list/2
)
-UGraph
is a free variable.
(term_typing:var/1
)
+Edges
is a list of pair
s.
(basic_props:list/2
)
-UGraph
is an ugraph.
(ugraphs:ugraph/1
)
Usage: edges_to_lgraph(+Edges,-LGraph)
Edges
to LGraph
.
+Edges
is a list of triple
s.
(basic_props:list/2
)
-LGraph
is a free variable.
(term_typing:var/1
)
+Edges
is a list of triple
s.
(basic_props:list/2
)
-LGraph
is a labeled graph of term
terms.
(lgraphs:lgraph/2
)
graphs
)
Usage: pair(P)
P
is a pair (_,_)
.
Usage: triple(P)
P
is a triple (_,_,_)
.
Go to the first, previous, next, last section, table of contents.