Author(s): Francisco Bueno.
Version: 1.10#6 (2004/8/7, 21:46:39 CEST)
Version of last change: 1.9#256 (2003/12/30, 23:45:1 CET)
See the comments for the
Graphis a labeled graph of
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.