![]() |
There are 6 different types of terms supported, as shown in the following table. The class aterm is a base class for all other aterms.
type | description |
---|---|
aterm | a general aterm |
aterm_appl | an aterm containing a function application |
aterm_int | an aterm containing an int |
aterm_real | an aterm containing a real |
aterm_blob | an aterm containing binary data |
aterm_list | an aterm containing a list of aterms |
aterm_place_holder | a place holder for aterms |
Besides that the library contains a few more data types that use aterms internally.
type | description |
---|---|
dictionary | a dictionary based on aterms |
table | a table based on aterms |
indexed_set | an indexed set based on aterms |
For the latter types alternatives are available in the C++ standard library like set, multiset, map and multimap.
![]() |
Copyright © 2004 Wieger Wesselink |