Transforms an ATerm to a graph in the DotLanguage . This tool can be used to create attractive visual representations of ATerms.

     term-to-dot --tree -i foo.term | dot -Tps -o
visualizes the term in foo.term in a tree in postscript file The dot tool is part of Graphviz.

Revision: r1.1 - 20 Jan 2004 - 14:34 - MartinBravenboer
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback