Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
AcyclicSolverHelper.h File Reference
Include dependency graph for AcyclicSolverHelper.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  storm
 LabParser.cpp.
 
namespace  storm::solver
 
namespace  storm::solver::helper
 

Functions

template<typename ValueType >
boost::optional< std::vector< uint64_t > > storm::solver::helper::computeTopologicalGroupOrdering (storm::storage::SparseMatrix< ValueType > const &matrix)
 Returns a reordering of the matrix row(groups) and columns such that we can solve the (minmax or linear) equation system in one go.
 
template<typename ValueType >
storm::storage::SparseMatrix< ValueType > storm::solver::helper::createReorderedMatrix (storm::storage::SparseMatrix< ValueType > const &matrix, std::vector< uint64_t > const &newToOrigIndexMap, std::vector< std::pair< uint64_t, ValueType > > &bFactors)
 reorders the row group such that the i'th row of the new matrix corresponds to the order[i]'th row of the source matrix.