1#ifndef PERFPARAMETERS_H_
2#define PERFPARAMETERS_H_
3
4#include <stdbool.h>
5
6/**
7During lazy computations, we can transform array containers into bitset
8containers as
9long as we can expect them to have ARRAY_LAZY_LOWERBOUND values.
10*/
11enum { ARRAY_LAZY_LOWERBOUND = 1024 };
12
13/* default initial size of a run container
14 setting it to zero delays the malloc.*/
15enum { RUN_DEFAULT_INIT_SIZE = 0 };
16
17/* default initial size of an array container
18 setting it to zero delays the malloc */
19enum { 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