storm::adapters::EigenAdapter Class Reference

#include <EigenAdapter.h>

Static Public Member Functions
template<class ValueType>
static std::unique_ptr< Eigen::SparseMatrix< ValueType > >	toEigenSparseMatrix (storm::storage::SparseMatrix< ValueType > const &matrix)
	Converts a sparse matrix into a sparse matrix in the gmm++ format.
template<typename ValueType>
static std::vector< ValueType >	toStdVector (Eigen::Matrix< ValueType, Eigen::Dynamic, 1 > const &v)
template<typename ValueType>
static Eigen::Matrix< ValueType, Eigen::Dynamic, 1 >	toEigenVector (std::vector< ValueType > const &v)

Detailed Description

Definition at line 12 of file EigenAdapter.h.

Member Function Documentation

toEigenSparseMatrix()

template<typename ValueType>

template std::unique_ptr< Eigen::SparseMatrix< storm::RationalFunction > > storm::adapters::EigenAdapter::toEigenSparseMatrix ( storm::storage::SparseMatrix< ValueType > 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 9 of file EigenAdapter.cpp.

toEigenVector()

template<typename ValueType>

template Eigen::Matrix< storm::RationalFunction, Eigen::Dynamic, 1 > storm::adapters::EigenAdapter::toEigenVector ( std::vector< ValueType > const & v )

static

Definition at line 31 of file EigenAdapter.cpp.

toStdVector()

template<typename ValueType>

template std::vector< storm::RationalFunction > storm::adapters::EigenAdapter::toStdVector ( Eigen::Matrix< ValueType, Eigen::Dynamic, 1 > const & v )

static

Definition at line 26 of file EigenAdapter.cpp.

---

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

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