% This LaTeX document was generated using the LaTeX backend of PlDoc,
% The SWI-Prolog documentation system



\begin{summarylist}{ll}
\predicatesummary{add_edges}{3}{Unify NewGraph with a new graph obtained by adding the list of Edges to Graph.}
\predicatesummary{add_vertices}{3}{Unify NewGraph with a new graph obtained by adding the list of Vertices to Graph.}
\predicatesummary{complement}{2}{UGraphOut is a ugraph with an edge between all vertices that are _not_ connected in UGraphIn and all edges from UGraphIn removed.}
\predicatesummary{compose}{3}{Compose NewGraph by connecting the _drains_ of LeftGraph to the _sources_ of RightGraph.}
\predicatesummary{connect_ugraph}{3}{Adds Start as an additional vertex that is connected to all vertices in UGraphIn.}
\predicatesummary{del_edges}{3}{Unify NewGraph with a new graph obtained by removing the list of Edges from Graph.}
\predicatesummary{del_vertices}{3}{Unify NewGraph with a new graph obtained by deleting the list of Vertices and all the edges that start from or go to a vertex in Vertices to the Graph.}
\predicatesummary{edges}{2}{Unify Edges with all edges appearing in Graph.}
\predicatesummary{neighbors}{3}{Neigbours is a sorted list of the neighbours of Vertex in Graph.}
\predicatesummary{neighbours}{3}{Neigbours is a sorted list of the neighbours of Vertex in Graph.}
\predicatesummary{reachable}{3}{True when Vertices is an ordered set of vertices reachable in UGraph, including Vertex.}
\predicatesummary{top_sort}{2}{Sort vertices topologically.}
\predicatesummary{transitive_closure}{2}{Generate the graph Closure as the transitive closure of Graph.}
\predicatesummary{transpose_ugraph}{2}{Unify NewGraph with a new graph obtained from Graph by replacing all edges of the form V1-V2 by edges of the form V2-V1.}
\predicatesummary{ugraph_layers}{2}{Sort vertices topologically.}
\predicatesummary{ugraph_union}{3}{NewGraph is the union of Graph1 and Graph2.}
\predicatesummary{vertices}{2}{Unify Vertices with all vertices appearing in Graph.}
\predicatesummary{vertices_edges_to_ugraph}{3}{Create a UGraph from Vertices and edges.}
\end{summarylist}