Author(s): Francisco Bueno.
Version: 1.11#222 (2004/5/24, 13:8:7 CEST)
Version of last change: 1.11#134 (2003/12/30, 23:45:39 CET)
See the comments for the
ugraphs
library.
lgraphs
)lgraphs
)
Usage: lgraph(Graph, Type)
Graph
is a labeled graph of Type
terms.
vertices_edges_to_lgraph(Vertices0, Edges, Graph)
This one is a copy of the same procedure in library(wgraphs) except for the definition of min/3 (ah! - the polimorphism!).
It would only be needed if there are multi-edges, i.e., several edges between the same two vertices.
Go to the first, previous, next, last section, table of contents.