tom.library.utils
Interface ATermConverter

All Known Implementing Classes:

IdConverter

public interface ATermConverter

This interface contains a method converting specific ATerm to Tom usable ATerm. Its purpose is to open Gom to other external format, from other tools

Method Summary

aterm.ATerm

convert(aterm.ATerm at) Method triggered when importing ATerm with an external format.

Method Detail

convert

aterm.ATerm convert(aterm.ATerm at)

Method triggered when importing ATerm with an external format.

Parameters:

at - the ATerm which needs to be converted

Returns:

an usable ATerm