Storm 1.11.1.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-parameter"
9#endif
10
11#include <gmm/gmm_kernel.h>
12
13#include <gmm/gmm_iter.h>
14#include <gmm/gmm_matrix.h>
15
16#include <gmm/gmm_precond_diagonal.h>
17#include <gmm/gmm_precond_ilu.h>
18#include <gmm/gmm_solver_bicgstab.h>
19#include <gmm/gmm_solver_gmres.h>
20#include <gmm/gmm_solver_qmr.h>
21
22#if defined(__clang__)
23#pragma clang diagnostic pop
24#endif
25
26#endif