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.4 - 17 Feb 2004 - 10:54 - 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