Storm
1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
GmmxxAdapter.h
Go to the documentation of this file.
1
#pragma once
2
3
#include <memory>
4
5
#include "
storm/adapters/gmm.h
"
6
7
#include "
storm/storage/SparseMatrix.h
"
8
9
namespace
storm
{
10
namespace
adapters {
11
12
#ifdef STORM_HAVE_GMM
13
template
<
typename
T>
14
class
GmmxxAdapter {
15
public
:
20
static
std::unique_ptr<gmm::csr_matrix<T>> toGmmxxSparseMatrix(
storm::storage::SparseMatrix<T>
const
& matrix);
21
};
22
#endif
23
24
}
// namespace adapters
25
}
// namespace storm
SparseMatrix.h
storm::storage::SparseMatrix
A class that holds a possibly non-square matrix in the compressed row storage format.
Definition
SparseMatrix.h:331
gmm.h
storm
LabParser.cpp.
Definition
cli.cpp:18
src
storm
adapters
GmmxxAdapter.h
Generated by
1.9.8