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_ */
src
storm
adapters
gmm.h
Generated by
1.9.8