Storm 1.14.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#pragma clang diagnostic push
7#pragma clang diagnostic ignored "-Wextra-semi"
8#pragma clang diagnostic ignored "-Wextra-semi-stmt"
9#pragma clang diagnostic ignored "-Wzero-as-null-pointer-constant"
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#pragma clang diagnostic pop
23
24#endif