GraphViz DOT generator
Author(s): Claudio Ochoa (original version), Jose F. Morales (improvements).
This module generates a .dot file (for GraphViz) representing a graph. Nodes and edges can contain labels.
Usage and interface
Documentation on exports
PREDICATE
Usage:gendot(L,Filename,Type)
Generates a dot file from a list L representing a graph. It receives the Filename (without extension) of the output .dot file. Each element of L is a node in the graph, represented by a tuple (Identifier, Label, Edges), where Edges is a list of the outgoing edges of the current node, and each element of Edges is either an Identifier ot a tuple (Identifier,Label). In all cases, Labels are atoms. Type indicates the type of graph. If the graph is a Tree, then final nodes are represented by boxes. In all other cases, nodes are represented by circles
- The following properties should hold at call time:
(term_typing:nonvar/1)L is currently a term which is not a free variable.
(term_typing:nonvar/1)Filename is currently a term which is not a free variable.
(term_typing:nonvar/1)Type is currently a term which is not a free variable.
