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