![]() |
The ATerm++ Library is a header-only template library, which means you don't need to alter your build scripts or link to any separate lib file to use it. All you need to do is #include "atermpp/aterm.h".
The ATerm++ Library has two dependencies.
In the first place it depends on the ATerm Library. You can download the latest version of the ATerm Library from CWI. Version 2.3.1 or higher is required.
![]() |
The effect of the patch is that anonymous structs like
typedef struct { header_type header; ATerm next; int value; } *ATermInt;
are named, in this case _ATermInt.
The ATerm++ Library also depends on Boost. You can download the latest version of the Boost libraries from www.boost.org. The ATerm++ Library requires Boost version 1.32 or higher. There is no need to install any library from Boost. Specifying the Boost include path is all that is needed.
Currently, the ATerm++ Library has only been tested on the following compilers:
![]() |
Copyright © 2004 Wieger Wesselink |