(by Mattias Werner, July 13, 1998)

This directory contains some tools for the interactive graph visualization
system daVinci. They are described in detail in the online documentation
(chapter Reference / daVinci Tools) which is available in the daVinci Help
menu.

readme
------
is this file.

checkterm
---------
is a syntactical analysis for the (external) term representation format of
daVinci graphs which can be loaded from a file. 'checkterm' checks the file
specified by the commandline argument.

flattenterm
-----------
is used for undoing pretty-printing of a graph file in term representation
format. Pretty-printing can be done with tool formatterm, see below.
flattenterm canceles all whitespace in the graph file specified by the
commandline argument. This tool is used for preparing formated terms to be
send to the daVinci API which does not allow whitespaces (especially return
characters).

formatterm
---------
is a pretty printer for a graph file in term representations format. Each
node and edge in the file specified by the commandline argument is placed on
a separate line. Different indents for the nodes and edges are used to show
the parent/child relationsships. A user can specify this indent with the -i
option (default is 8).
