Returns the pointer underlying the given term.
Parses the given string and returns an aterm
Returns true iff the term is the empty aterm_list.
Returns true iff the term is an aterm_int.
Returns true iff the term is an aterm_list.
Marks the aterm to prevent garbage collection.
Returns the capacity of the pool, for terms of all arities so this is slightly misleading.
Returns the number of terms in the pool.
Trigger garbage collection.
Creates a term from the given function and arguments, must be
protected before the busy flags are set to false.
Creates a function symbol with the given name and arity, increases the reference counter by one.
Decreases the reference counter of the function symbol by one.
Enable automated garbage collection.
Obtain the address of the given function symbol.
This function is to generate necessary data types
Returns the function symbol of an aterm.
Returns the function symbol name
Returns the function symbol name
Returns the ith argument of this term.
Initialises the library.
Provides exclusive access to the aterm library.
Provides shared access to the aterm library.
Converts an aterm to a string.
Prints various metrics that are being tracked for terms.
Protects the given function symbol by incrementing the reference counter.
Register a function to be called during marking of the garbage collection
Triggers a garbage collection when internal heuristics have determined it to be necessasry.
Returns true iff the shared section was actually left.