aterm_pool.h File Reference

Go to the source code of this file.

Classes
class	atermpp::detail::thread_aterm_pool_interface
	A thread specific aterm pool that provides a local interface to the global term pool. Ensures that terms created by this thread are protected during garbage collection. More...
class	atermpp::detail::aterm_pool
	The interface for the term library. Provides the storage of of all classes of terms. More...

Namespaces
namespace	atermpp
	The main namespace for the aterm++ library.
namespace	atermpp::detail

Typedefs
using	atermpp::detail::integer_term_storage = aterm_pool_storage< _aterm_int, aterm_int_hasher, aterm_int_equals, 0 >
	Define several specializations of the term pool storage objects.
using	atermpp::detail::term_storage = aterm_pool_storage< _aterm, aterm_hasher_finite< 0 >, aterm_equals_finite< 0 >, 0 >
using	atermpp::detail::arbitrary_function_application_storage = aterm_pool_storage< _aterm_appl< 1 >, aterm_hasher< DynamicNumberOfArguments >, aterm_equals< DynamicNumberOfArguments >, DynamicNumberOfArguments >
template<std::size_t N>
using	atermpp::detail::function_application_storage = aterm_pool_storage< _aterm_appl< N >, aterm_hasher_finite< N >, aterm_equals_finite< N >, N >