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