Storm
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
12template<typename T>
14 public:
19 static std::unique_ptr<gmm::csr_matrix<T>> toGmmxxSparseMatrix(storm::storage::SparseMatrix<T> const& matrix);
20};
21
22} // namespace adapters
23} // namespace storm
static std::unique_ptr< gmm::csr_matrix< T > > toGmmxxSparseMatrix(storm::storage::SparseMatrix< T > const &matrix)
Converts a sparse matrix into a sparse matrix in the gmm++ format.
A class that holds a possibly non-square matrix in the compressed row storage format.
LabParser.cpp.
Definition cli.cpp:18