Storm
1.13.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::adapters::GmmxxAdapter
Definition
SparseMatrix.h:24
gmm.h
storm::adapters
Definition
AddExpressionAdapter.cpp:14
storm
Definition
AutomaticSettings.cpp:13
src
storm
adapters
GmmxxAdapter.h
Generated by
1.15.0