mCRL2
Loading...
Searching...
No Matches
aterm_configuration.h
Go to the documentation of this file.
1// Author(s): Maurice Laveaux.
2// Copyright: see the accompanying file COPYING or copy at
3// https://github.com/mCRL2org/mCRL2/blob/master/COPYING
4//
5// Distributed under the Boost Software License, Version 1.0.
6// (See accompanying file LICENSE_1_0.txt or copy at
7// http://www.boost.org/LICENSE_1_0.txt)
8//
9
10#ifndef MCRL2_ATERMPP_ATERM_CONFIGURATION_H
11#define MCRL2_ATERMPP_ATERM_CONFIGURATION_H
12
14
15namespace atermpp
16{
17namespace detail
18{
19
21constexpr static bool EnableGarbageCollection = true;
22
24constexpr static bool EnableBlockAllocator = true;
25
27constexpr static bool EnableGarbageCollectionMetrics = false;
28
30constexpr static bool EnableAggressiveGarbageCollection = false;
31
33constexpr static bool EnableHashtableMetrics = false;
34
36constexpr static bool EnableCreationMetrics = false;
37
39constexpr static bool EnableVariableRegistrationMetrics = false;
40
41} // namespace detail
42} // namespace atermpp
43
44#endif // MCRL2_ATERMPP_ATERM_CONFIGURATION_H
static constexpr bool EnableGarbageCollection
Enable garbage collection.
static constexpr bool EnableHashtableMetrics
Enable to print hashtable collision, size and number of buckets.
static constexpr bool EnableCreationMetrics
Enable to obtain the percentage of terms found compared to allocated.
static constexpr bool EnableGarbageCollectionMetrics
Enable to print garbage collection statistics.
static constexpr bool EnableAggressiveGarbageCollection
Performs garbage collection intensively for testing purposes.
static constexpr bool EnableBlockAllocator
Enable the block allocator for terms.
static constexpr bool EnableVariableRegistrationMetrics
Keep track of the number of variables registered.
The main namespace for the aterm++ library.
Definition algorithm.h:21