global_aterm_pool.h File Reference

Go to the source code of this file.

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

Functions
template<bool lazy = false>
aterm_pool &	atermpp::detail::g_term_pool ()
	obtain a reference to the global aterm pool.

Variables
std::aligned_storage< sizeof(aterm_pool), alignof(aterm_pool)>::type	atermpp::detail::g_aterm_pool_storage = {}
	Storage for a global term pool that is not initialized.
static aterm_pool &	atermpp::detail::g_aterm_pool_instance = *static_cast<aterm_pool*>(static_cast<void*>(&g_aterm_pool_storage))
	A reference to the global term pool storage.