Storm
A Modern Probabilistic Model Checker
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Static Public Member Functions | List of all members
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 13 of file EigenAdapter.h.

Member Function Documentation

◆ toEigenSparseMatrix()

template<typename ValueType >
template std::unique_ptr< Eigen::SparseMatrix< double > > 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 8 of file EigenAdapter.cpp.

◆ toEigenVector()

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

Definition at line 30 of file EigenAdapter.cpp.

◆ toStdVector()

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

Definition at line 25 of file EigenAdapter.cpp.

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