ATerm Tools

XT -- A Bundle of Program Transformation Tools

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.

Tools.ATermTools moved from Stratego.ATermTools on 13 Feb 2004 - 09:02 by MartinBravenboer - put it back