aterm_configuration.h File Reference

Go to the source code of this file.

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

Variables
static constexpr bool	atermpp::detail::EnableGarbageCollection = true
	Enable garbage collection.
static constexpr bool	atermpp::detail::EnableBlockAllocator = true
	Enable the block allocator for terms.
static constexpr bool	atermpp::detail::EnableGarbageCollectionMetrics = false
	Enable to print garbage collection statistics.
static constexpr bool	atermpp::detail::EnableAggressiveGarbageCollection = false
	Performs garbage collection intensively for testing purposes.
static constexpr bool	atermpp::detail::EnableHashtableMetrics = false
	Enable to print hashtable collision, size and number of buckets.
static constexpr bool	atermpp::detail::EnableCreationMetrics = false
	Enable to obtain the percentage of terms found compared to allocated.
static constexpr bool	atermpp::detail::EnableVariableRegistrationMetrics = false
	Keep track of the number of variables registered.