ATermTools is a collection of generic tools for ATerms. Tools STARTINCLUDE term-to-dot transforms an ATerm to a graph in the Transform.DotLanguage pp-aterm pretty ...

Transforms an Stratego.ATerm to a graph in the Transform.DotLanguage . This tool can be used to create attractive visual representations of ATerms. term-to-dot tree ...