1 | #ifndef PERFPARAMETERS_H_ |
2 | #define PERFPARAMETERS_H_ |
3 | |
4 | #include <stdbool.h> |
5 | |
6 | /** |
7 | During lazy computations, we can transform array containers into bitset |
8 | containers as |
9 | long as we can expect them to have ARRAY_LAZY_LOWERBOUND values. |
10 | */ |
11 | enum { ARRAY_LAZY_LOWERBOUND = 1024 }; |
12 | |
13 | /* default initial size of a run container |
14 | setting it to zero delays the malloc.*/ |
15 | enum { RUN_DEFAULT_INIT_SIZE = 0 }; |
16 | |
17 | /* default initial size of an array container |
18 | setting it to zero delays the malloc */ |
19 | enum { ARRAY_DEFAULT_INIT_SIZE = 0 }; |
20 | |
21 | /* automatic bitset conversion during lazy or */ |
22 | #ifndef LAZY_OR_BITSET_CONVERSION |
23 | #define LAZY_OR_BITSET_CONVERSION true |
24 | #endif |
25 | |
26 | /* automatically attempt to convert a bitset to a full run during lazy |
27 | * evaluation */ |
28 | #ifndef LAZY_OR_BITSET_CONVERSION_TO_FULL |
29 | #define LAZY_OR_BITSET_CONVERSION_TO_FULL true |
30 | #endif |
31 | |
32 | /* automatically attempt to convert a bitset to a full run */ |
33 | #ifndef OR_BITSET_CONVERSION_TO_FULL |
34 | #define OR_BITSET_CONVERSION_TO_FULL true |
35 | #endif |
36 | |
37 | #endif |
38 | |