Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
IntelTbbAdapter.h
Go to the documentation of this file.
1#pragma once
2
3// To detect whether the usage of TBB is possible, this include is neccessary
4#include "storm-config.h"
5
6/* On macOS, TBB includes the header
7 * /Library/Developer/CommandLineTools/SDKs/MacOSX10.14.sdk/usr/include/mach/boolean.h
8 * which #defines macros TRUE and FALSE. Since these also occur as identifiers, we #undef them after including TBB.
9 * We still issue a warning in case these macros have been defined before.
10 */
11
12#ifdef TRUE
13#warning "Undefining previously defined macro 'TRUE'."
14#endif
15
16#ifdef FALSE
17#warning "Undefining previously defined macro 'FALSE'."
18#endif
19
20#ifdef STORM_HAVE_INTELTBB
21#include "tbb/blocked_range.h"
22#include "tbb/parallel_for.h"
23#include "tbb/tbb_stddef.h"
24#endif
25
26#ifdef TRUE
27#undef TRUE
28#endif
29
30#ifdef FALSE
31#undef FALSE
32#endif