Storm
A Modern Probabilistic Model Checker
|
#include "storm/exceptions/InvalidEnvironmentException.h"
#include "storm/exceptions/InvalidStateException.h"
#include "storm/exceptions/UnexpectedException.h"
#include "storm/exceptions/UnmetRequirementException.h"
#include "storm/storage/SparseMatrix.h"
#include "storm/utility/constants.h"
#include "storm/utility/vector.h"
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. | |