Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
gmm.h
Go to the documentation of this file.
1#ifndef STORM_UTILITY_GMM_H_
2#define STORM_UTILITY_GMM_H_
3
4#if defined(__clang__)
5#pragma clang diagnostic push
6#pragma clang diagnostic ignored "-Wunused-variable"
7#pragma clang diagnostic ignored "-Wunused-parameter"
8#pragma clang diagnostic ignored "-Wunknown-pragmas"
9#elif defined(__GNUC__)
10#pragma GCC diagnostic push
11#pragma GCC diagnostic ignored "-Wdeprecated-declarations"
12#pragma GCC diagnostic ignored "-Wmisleading-indentation"
13#endif
14
15#include "gmm/gmm_iter_solvers.h"
16#include "gmm/gmm_matrix.h"
17
18#if defined(__clang__)
19#pragma clang diagnostic pop
20#elif defined(__GNUC__)
21#pragma GCC diagnostic pop
22#endif
23
24#endif /* STORM_UTILITY_GMM_H_ */