<HTML> <HEAD> <!-- Created by texi2html 1.56k + clip patches and <A href="http://www.clip.dia.fi.upm.es/Software">lpdoc</A> from ciao.texi on 28 January 2007 --> <LINK rel="stylesheet" href="ciao.css" type="text/css"> <TITLE>The Ciao Prolog System - Labeled graph-processing utilities</TITLE> </HEAD> <BODY> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_171.html">previous</A>, <A HREF="ciao_173.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. <P><HR><P> <H1><A NAME="SEC708" HREF="ciao_toc.html#TOC708">Labeled graph-processing utilities</A></H1> <P> <A NAME="IDX7961"></A> <P> <STRONG>Author(s):</STRONG> Francisco Bueno. <P> <STRONG>Version:</STRONG> 1.10#7 (2006/4/26, 19:22:13 CEST) <P> <STRONG>Version of last change:</STRONG> 1.9#256 (2003/12/30, 23:45:1 CET) <P> See the comments for the <A NAME="IDX7962"></A> <CODE>ugraphs</CODE> library. <UL> <LI><A HREF="ciao_172.html#SEC709">Usage and interface (lgraphs)</A> <LI><A HREF="ciao_172.html#SEC710">Documentation on exports (lgraphs)</A> </UL> <H2><A NAME="SEC709" HREF="ciao_toc.html#TOC709">Usage and interface (<CODE>lgraphs</CODE>)</A></H2> <div class="cartouche"> <UL> <LI><STRONG>Library usage:</STRONG> <CODE>:- use_module(library(lgraphs)).</CODE> <LI><STRONG>Exports:</STRONG> <UL> <LI><EM>Predicates:</EM> <A NAME="IDX7963"></A> <CODE>vertices_edges_to_lgraph/3</CODE>. <LI><EM>Regular Types:</EM> <A NAME="IDX7964"></A> <CODE>lgraph/2</CODE>. </UL> <LI><STRONG>Other modules used:</STRONG> <UL> <LI><EM>System library modules:</EM> <A NAME="IDX7965"></A> <CODE>sort</CODE>, <A NAME="IDX7966"></A> <CODE>sets</CODE>. </UL> </UL> </div class="cartouche"> <H2><A NAME="SEC710" HREF="ciao_toc.html#TOC710">Documentation on exports (<CODE>lgraphs</CODE>)</A></H2> <P> <A NAME="IDX7967"></A> <A NAME="IDX7968"></A> <DL> <DT><span class="define">REGTYPE:</span> <B>lgraph/2:</B> <DD><A NAME="IDX7969"></A> <P> <STRONG>Usage:</STRONG> <CODE>lgraph(Graph, Type)</CODE> <UL> <LI><EM>Description:</EM> <CODE>Graph</CODE> is a labeled graph of <CODE>Type</CODE> terms. </UL> </DL> <P> <A NAME="IDX7970"></A> <A NAME="IDX7971"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>vertices_edges_to_lgraph/3:</B> <DD><A NAME="IDX7972"></A> <P> <CODE>vertices_edges_to_lgraph(Vertices0, Edges, Graph)</CODE> <P> This one is a copy of the same procedure in library(wgraphs) except for the definition of min/3 (ah! - the polimorphism!). <P> It would only be needed if there are multi-edges, i.e., several edges between the same two vertices. </DL> <P><HR><P> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_171.html">previous</A>, <A HREF="ciao_173.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. </BODY> </HTML>