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
6
8
9namespace storm {
10namespace adapters {
11
12#ifdef STORM_HAVE_GMM
13template<typename T>
14class 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
A class that holds a possibly non-square matrix in the compressed row storage format.
LabParser.cpp.
Definition cli.cpp:18