Package tom.library.utils

Interface Summary

ATermConverter

This interface contains a method converting specific ATerm to Tom usable ATerm.

Class Summary

IdConverter	This class does nothing : no processing is done in its methods.
Viewer	Provide tools to view terms, with a graphical browser or with GraphViz.
Viewer.RemoveMu