ATermTools is a collection of generic tools for ATerms?.


  • 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.5 - 28 Apr 2005 - 22:24 -
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