ATermTools is a collection of generic tools for ATerms?.

Tools

  • term-to-dot? -- transforms an ATerm to a graph in the DotLanguage

  • pp-aterm -- pretty prints an ATerm to text with whitespace to show the tree structure of the ATerm.

Revision: r1.3 - 13 Feb 2004 - 09:08 - 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