![]() |
Table of Contents
The ATerm++ library is a C++ wrapper around the ATerm Library, which is a C library for manipulating tree-like data structures. Important features of the ATerm Library are maximal subterm sharing, automatic garbage collection, and an efficient binary exchange format. The purpose of the ATerm++ Library is to provide the user with a common C++ interface, and to hide certain implementation details.
|