Dot generator

Author(s): Claudio Ochoa.

This module generates a dot file representing a graph. Nodes and edges can contain labels

Usage and interface

  • Library usage:
    :- use_module(library(gendot)).
  • Exports:
  • Other modules used:

Documentation on exports

PREDICATE

Usage: gendot(L,Filename,Type)

  • Description: Generates a dot file from a list L representing a graph. It receives the basename 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.