ATerm++

Next

Chapter 1. ATerm++ 0.1

Wieger Wesselink

Table of Contents

Preface
User's Guide
Introduction
Installing ATerm++
Quick Start
Creating an aterm
Aterm properties
Lists and function applications
Initialization
Reference
Header <atermpp/aterm.h>

Preface

Description

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.

 


Next