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
5
#include "
storm/adapters/gmm.h
"
6
7
#include "
storm/storage/SparseMatrix.h
"
8
9
namespace
storm
{
10
namespace
adapters {
11
12
template
<
typename
T>
13
class
GmmxxAdapter
{
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
SparseMatrix.h
storm::adapters::GmmxxAdapter
Definition
GmmxxAdapter.h:13
storm::adapters::GmmxxAdapter::toGmmxxSparseMatrix
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.
Definition
GmmxxAdapter.cpp:14
storm::storage::SparseMatrix
A class that holds a possibly non-square matrix in the compressed row storage format.
Definition
SparseMatrix.h:332
gmm.h
storm
LabParser.cpp.
Definition
cli.cpp:18
src
storm
adapters
GmmxxAdapter.h
Generated by
1.9.8