storm::adapters::GmmxxAdapter< T > Class Template Reference

#include <GmmxxAdapter.h>

Static Public Member Functions
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.

Detailed Description

template<typename T>
class storm::adapters::GmmxxAdapter< T >

Definition at line 13 of file GmmxxAdapter.h.

Member Function Documentation

toGmmxxSparseMatrix()

template<typename T >

std::unique_ptr< gmm::csr_matrix< T > > storm::adapters::GmmxxAdapter< T >::toGmmxxSparseMatrix ( storm::storage::SparseMatrix< T > const &  matrix )

static

Converts a sparse matrix into a sparse matrix in the gmm++ format.

Returns

A pointer to a row-major sparse matrix in gmm++ format.

Definition at line 14 of file GmmxxAdapter.cpp.

---

The documentation for this class was generated from the following files:

• src/storm/adapters/GmmxxAdapter.h
• src/storm/adapters/GmmxxAdapter.cpp