Loading...
Searching...
No Matches
Magic numbers used throughout the codebase.
More...
#include <cstddef>
+ Include dependency graph for magic.h:
+ This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Limit the size of arrays for which field_sensitivity gets applied.
Detailed Description
Variable Documentation
◆ CNF_DUMP_BLOCK_SIZE
const std::size_t CNF_DUMP_BLOCK_SIZE = 4096
◆ DEFAULT_MAX_FIELD_SENSITIVITY_ARRAY_SIZE
constexpr std::size_t DEFAULT_MAX_FIELD_SENSITIVITY_ARRAY_SIZE = 64
constexpr
Limit the size of arrays for which field_sensitivity gets applied.
Necessary because large constant arrays slow-down the process.
Definition at line 21 of file magic.h.
◆ DSTRING_NUMBERS_MAX
constexpr std::size_t DSTRING_NUMBERS_MAX = 64
constexpr
◆ MAX_CONCRETE_STRING_SIZE
const std::size_t MAX_CONCRETE_STRING_SIZE = 1 << 26
◆ MAX_FLATTENED_ARRAY_SIZE
const std::size_t MAX_FLATTENED_ARRAY_SIZE =1000
◆ STRING_REFINEMENT_MAX_CHAR_WIDTH
const std::size_t STRING_REFINEMENT_MAX_CHAR_WIDTH = 16
